Handling Boolean ABoxes

CEUR Workshop Proceedings

Volumn 81, Issue , 2003, Pages

  Areces, Carlos ^a   Blackburn, Patrick ^a   Hernandez, Bernadette Martinez ^b   Marx, Maarten ^c  

^a INRIA   (France)

^b BENEMÉRITA UNIVERSIDAD AUTÓNOMA DE PUEBLA   (Mexico)

^c UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS;

BOOLEAN COMBINATIONS; DESCRIPTION LOGIC; KNOWLEDGE BASE; KNOWLEDGE BASIS; LINEAR REDUCTION; SATISFIABILITY; STANDARD FORMAT;

DATA DESCRIPTION;

EID: 84992625586     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. M. Buchheit, F. Donini, and A. Schaerf. Decidable reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research, 1:109-138, 1993/94.
2. F. Giunchiglia and R. Sebastiani. A sat-based decision procedure for ALC. In L. Aiello, J. Doyle, and S. Shapiro, editors, Proc. of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR'96), pages 304-314, Cambridge, USA, 1996.
3. V. Haarslev and R. Möller. Description of the RACER system and its applications. In Proc. of the International Workshop on Description Logics (DL-2001), Stanford, USA, 1.-3. August 2001, pages 132-141, 2001.
4. B. Martínez Hernández. Automated reasoning with boolean aboxes. Master's thesis, Institute for Logic, Language and Computation, 2002.
5. I. Horrocks, U. Sattler, S. Tessaris, and S. Tobies. How to decide query containment under constraints using a description logic. In Logic for Programming and Automated Reasoning (LPAR 2000), volume 1955 of Lecture Notes in Computer Science, pages 326-343. Springer, 2000.
6. S. Tessaris. Questions and answers: reasoning and querying in Description Logic. PhD thesis, University of Manchester, 2001.
7. F. Wolter and M. Zakharyaschev. On the decidability of description logics with modal operators. In G. Cohn, L. Schubert, and S. Shapiro, editors, Proc. of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), pages 512-523. Morgan Kaufmann, 1998.
8. F. Wolter and M. Zakharyaschev. Temporalizing description logics. In D. Gabbay and M. de Rijke, editors, Frontiers of Combining Systems, pages 379-402. Studies Press/Wiley, 1999.