FaCT++ description logic reasoner: System description

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4130 LNAI, Issue , 2006, Pages 292-297

  Tsarkov, Dmitry ^a   Horrocks, Ian ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; HEURISTIC METHODS; INTERFACES (COMPUTER); LOGIC PROGRAMMING; OPTIMIZATION;

DESCRIPTION LOGIC REASONER; ONTOLOGY ENGINEERING TOOLS; REASONING SERVICES; SYSTEM DESCRIPTION;

FORMAL LOGIC;

EID: 33749556448     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11814771_26     Document Type: Conference Paper

References (13)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. CUP, 2003.
2. V. Haarslev and R. Möller, High performance reasoning with very large knowledge bases: A practical case study. In Proc. of IJCAI 2001, pages 161-168, 2001.
3. I. Horrocks. Using an expressive description logic: FaCT or fiction? In Proc. of KR'98, pages 636-647, 1998.
4. I. Horrocks. Implementation and optimisation techniques. In F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications, pages 306-346. CUP, 2003.
5. I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. J. of Web Semantics, 1(1):7-26, 2003.
6. I. Horrocks and U. Sattler. A tableaux decision procedure for SHOTQ. In Proc. of IJCAI 2005, 2005.
7. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proc. of LPAR'99, number 1705 in LNAI, pages 161-180, 1999.
8. H. Knublauch, R. Fergerson, N. Noy, and M. Musen. The protégé OWL plugin: An open development environment for semantic web applications. In Proc. of ISWC 2004, number 3298 in LNCS, pages 229-243, 2004.
9. A. Rector. Medical informatics. In F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications, pages 415-435. CUP, 2003.
10. M. Schmidt-Schauß and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48(1):1-26, 1991.
11. E. Sirin, B. C. Grau, and B. Parsia. From wine to water: Optimizing description logic reasoning for nominals. In Proc. of KR 2006, 2006. To Appear.
12. D. Tsarkov and I. Horrocks. Optimised classification for taxonomic knowledge bases. In Proc. of the 2005 Description Logic Workshop (DL 2005), 2005.
13. D. Tsarkov and I. Horrocks. Ordering heuristics for description logic reasoning. In Proc. of IJCAI 2005, 2005.