Finding maximally satisfiable terminologies for the description logic ALC

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2006, Pages 269-274

  Meyer, Thomas ^a   Lee, Kevin ^a   Booth, Richard ^b   Pan, Jeff Z ^c  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b MAHASARAKHAM UNIVERSITY   (Thailand)

^c UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC ALC; OPTIMISATION TECHNIQUES; TBOX SENTENCES;

ARTIFICIAL INTELLIGENCE; ERROR ANALYSIS; PROBLEM SOLVING;

FORMAL LOGIC;

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

References (14)

1. Baader, F., and Hollunder, B. 1995. Embedding Defaults into Terminological Knowledge Representational Formalisms. Journal of Automated Reasoning 14:149-180.
2. Baader, F., and Nutt, W. 2003. Basic description logics. In Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P., eds., The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press.
3. Haarslev, V., and Möller, R. 2001. Racer system description. In Gore, R.; Leitsch, A.; and Nipkow, T., eds., IJCAR 2001, volume LNAI 2100.
4. Horrocks, I. 1997. Optimising Tableaux Decision Procedures for Description Logics. Ph.D. Dissertation, University of Manchester.
5. Horrocks, I. 1998. The FaCT system. In de Swart, H., ed., Tableaux '98, volume LNAI 1397, 307-312.
6. Kalyanpur, A.; Parsia, B.; Sirin, E.; and Hendler, J. 2005. Debugging unsatisfiable classes in OWL ontologies. In Journal of Web Semantics - Special Issue of the Semantic Web Track of WWW2005. (To Appear).
7. Kalyanpur, A.; Parsia, B.; and Sirin, E. 2005. Black box techniques for debugging unsatisfiable concepts. In International Workshop on Description Logics.
8. Meyer, T.; Lee, K.; and Booth, R. 2005. Knowledge integration for description logics. In Proceedings of AAAI05, 645-650.
9. Reiter, R. 1987. A theory of diagnosis from first principles. Artificial Intelligence 32:57-95.
10. Risch, V., and Schwind, C. 1994. Tableaux-Based Characterization and Theorem Proving for Default Logic. Journal of Automated Reasoning 13(2):223-242.
11. Schlobach, S., and Cornet, R. 2003. Non-standard reasoning services for the debugging of description logic terminologies. In Proceedings of IJCAI 2003, 355-360. Morgan Kaufmann.
12. Schlobach, S. 2005. Diagnosing terminologies. In Proceedings of AAAI05, 670-675.
13. Schmidt-Schauß, M., and Smolka, G. 1991. Attributive concept descriptions with complements. Artificial Intelligence 48:1-26.
14. Tsarkov, D., and Horrocks, I. 2004. Efficient reasoning with range and domain constraints. In Proceedings of the Description Logics Workshop (DL2004), 41-50. Available from ceur-ws.org.