Benchmark analysis with FaCT

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

Volumn 1847 LNAI, Issue , 2000, Pages 62-66

  Horrocks, Ian ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARK ANALYSIS; CLIENT-SERVER ARCHITECTURES; DESCRIPTION LOGIC; FAST CLASSIFICATION; MODAL LOGIC; SATISFIABILITY TESTING; SOUND AND COMPLETE; TABLEAUX ALGORITHM;

CLIENT SERVER COMPUTER SYSTEMS; DATA DESCRIPTION; FORMAL LOGIC; COMMON OBJECT REQUEST BROKER ARCHITECTURE (CORBA); MIDDLEWARE;

COMMON OBJECT REQUEST BROKER ARCHITECTURE (CORBA); FORMAL LOGIC;

EID: 84885973339     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722086_6     Document Type: Conference Paper

References (15)

1. S. Bechhofer, I. Horrocks, P. F. Patel-Schneider, and S. Tessaris. A proposal for a description logic interface. In Proc. of DL'99, pages 33-36, 1999.
2. D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, and R. Rosati. Source integration in data warehousing. In Proc. of DEXA-98, pages 192-197, 1998.
3. D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, and R. Rosati. Use of the data reconciliation tool at telecom italia. DWQ deliverable D.4.3, Foundations of Data Warehouse Quality (DWQ), 1999
4. E. Franconi and G. Ng. The icom tool for intelligent conceptual modelling. Submittedto VLDB-2000.
5. V. Haarslev, R. Möller, and A.-Y. Turhan. Implementing an ALCRP(D) abox reasoner - progress report. In Proc. of DL'98, pages 82-86, 1998.
6. I. Horrocks and P. F. Patel-Schneider. Optimising description logic subsumption. Journal of Logic and Computation, 9(3):267-293, 1999.
7. I. Horrocks and U. Sattler. A description logic with transitive and inverse roles and role hierarchies. Journal of Logic and Computation, 9(3):385-410, 1999.
8. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proc. of LPAR'99, pages 161-180. Springer-Verlag, 1999.
9. I. Horrocks, U. Sattler, and S. Tobies. Reasoning with individuals for the description logic SHIQ. In Proc. of CADE-2000, 2000. To appear.
10. P. F. Patel-Schneider. DLP system description. In Proc. of DL'98, pages 87-89, 1998.
11. P. F. Patel-Schneider and B. Swartout. Description logic specification from the KRSS effort, June 1993.
12. A. L. Rector, W A Nowlan, and A Glowinski. Goals for concept representation in the Galen project. In Proc. of SCAMC'93, pages 414-418, 1993.
13. U. Sattler. A concept language extended with different kinds of transitive roles. In 20. Deutsche Jahrestagung für Künstliche Intelligenz, pages 333-345, 1996.
14. K. Schild. A correspondence theory for terminological logics: Preliminary report. In Proc. of IJCAI-91, pages 466-471, 1991.
15. S. Tessaris and G. Gough. Abox reasoning with transitive roles and axioms. In Proc. of DL'99, 1999.