ABSTRACT
The ontology language for the semantic web OWL provides means to describe entities of an application domain in an ontology in a well-structured way. The underlying formalism for OWL are Description Logics (DLs) [6], which are a family of knowledge representation formalisms that have formal semantics. This family of logics is tailored towards representing terminological knowledge of an application domain in a structured and formally well-understood way.
- A. Acciarri, D. Calvanese, G. D. Giacomo, D. Lembo, M. Lenzerini, M. Palmieri, and R. Rosati. QuOnto: Querying ontologies. In M. M. Veloso and S. Kambhampati, editors, Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI'05), pages 1670--1671, 2005. QuOnto download page http://www.dis.uniromal.it/~quonto/index.htm. Google ScholarDigital Library
- F. Baader. Description logics. In Proceedings of Reasoning Web: Semantic Technologies for Information Systems, volume 5689 of Lecture Notes in Computer Science, pages 1--39, 2009. Google ScholarDigital Library
- F. Baader, A. Bauer, P. Baumgartner, A. Cregan, A. Gabaldon, K. Ji, K. Lee, D. Rajaratnam, and R. Schwitter. A novel architecture for situation awareness systems. In M. Giese and A. Waaler, editors, Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2009), volume 5607 of Lecture Notes in Computer Science, pages 77--92. Springer-Verlag, 2009. Google ScholarDigital Library
- F. Baader, S. Brandt, and C. Lutz. Pushing the EL envelope. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI-05), Edinburgh, UK, 2005. Morgan-Kaufmann Publishers. Google ScholarDigital Library
- F. Baader, S. Brandt, and C. Lutz. Pushing the EL envelope further. In K. Clark and P. F. Patel-Schneider, editors, In Proc. of the OWLED Workshop, 2008.Google Scholar
- F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003. Google ScholarDigital Library
- F. Baader, E. Franconi, B. Hollunder, B. Nebel, and H.-J. Profitlich. An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on. Applied Artificial Intelligence. Special Issue on Knowledge Base Management, 4:109--132, 1994.Google Scholar
- F. Baader, C. Lutz, and A.-Y. Turhan. Small is again Beautiful in Description Logics. Kl -- Künstliche Intelligenz, 24(l):25--33, April 2010.Google Scholar
- F. Baader and U. Sattler. An overview of tableau algorithms for description logics. Studia Logica, 69:5--40, 2001.Google ScholarCross Ref
- S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider, and L. A. Stein. OWL web ontology language reference. W3C Recommendation, February 2004. http://www.w3.org/TR/owl-ref/.Google Scholar
- R. J. Brachman and H. J. Levesque. Readings in Knowledge Representation. Morgan Kaufmann, Los Altos, 1985. Google ScholarDigital Library
- S. Brandt. Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and---what else? In R. L. de Mantáras and L. Saitta, editors, Proc. of the 16th European Conf. on Artificial Intelligence (ECAI-04), pages 298--302. IOS Press, 2004.Google ScholarDigital Library
- D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. DL-Lite: Tractable description logics for ontologies. In M. M. Veloso and S. Kambhampati, editors, Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI'05), pages 602--607. AAAI Press/The MIT Press, 2005. Google ScholarDigital Library
- D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Data complexity of query answering in description logics. In Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), pages 260--270, 2006.Google Scholar
- D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. Journal of Automated Reasoning, 39(3):385--429, 2007. Google ScholarDigital Library
- D. Calvanese and G. D. Giacomo. Expressive description logics. In {6}, pages 178--218. Cambridge University Press, 2003. Google ScholarDigital Library
- T. Eiter, C. Lutz, M. Ortiz, and M. Simkus. Query answering in description logics with transitive roles. In Proceedings of the 21st International Joint Conference on Artificial Intelligence IJCAI09. AAAI Press, 2009. Google ScholarDigital Library
- B. Glimm, I. Horrocks, C. Lutz, and U. Sattler. Conjunctive query answering for the description logic SHIQ. In M. M. Veloso, editor, Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI-07), pages 399--404, Hyderabad, India, 2007. Google ScholarDigital Library
- B. Glimm, I. Horrocks, and B. Motik. Optimized Description Logic Reasoning via Core Blocking. In J. Giesl and R. Hähnle, editors, Proc. of the 5th Int. Joint Conf. on Automated Reasoning (IJCAR-10), volume 6173 of Lecture Notes in Computer Science, pages 457--471, Edinburgh, UK, 2010. Springer. Google ScholarDigital Library
- V. Haarslev and R. Möller. High performance reasoning with very large knowledge bases: A practical case study. In B. Nebel, editor, Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI-01), pages 161--166, 2001. Google ScholarDigital Library
- V. Haarslev and R. Möller. RACER system description. In R. Goré, A. Leitsch, and T. Nipkov, editors, Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR-01), Lecture Notes in Computer Science. Springer, 2001. Google ScholarDigital Library
- V. Haarslev, R. Möller, and A.-Y. Turhan. Exploiting pseudo models for TBox and ABox reasoning in expressive description logics. In R. Goré, A. Leitsch, and T. Nipkov, editors, Proceedings of the International Joint Conference on Automated Reasoning IJCAR'01, LNAI. Springer Verlag, 2001. Google ScholarDigital Library
- I. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997.Google Scholar
- I. Horrocks. Using an expressive description logic: FaCT or fiction? In A. Cohn, L. Schubert, and S. Shapiro, editors, Proc. of the 6th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-98), pages 636--647, 1998.Google Scholar
- I. Horrocks. Reasoning with expressive description logics: Theory and practice. In A. Voronkov, editor, Proc. of the 19th Conf. on Automated Deduction (CADE-19), number 2392 in Lecture Notes In Artificial Intelligence, pages 1--15. Springer, 2002. Google ScholarDigital Library
- I. Horrocks, O. Kutz, and U. Sattler. The even more irresistible SROIQ. In P. Doherty, J. Mylopoulos, and C. Welty, editors, Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-06), pages 57--67. AAAI Press, 2006.Google Scholar
- I. Horrocks, P. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1):7--26, 2003.Google ScholarCross Ref
- 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.Google ScholarCross Ref
- I. Horrocks and U. Sattler. Optimised reasoning for SHIQ. In Proc. of the 15th European Conference on Artificial Intelligence, 2002.Google ScholarDigital Library
- I. Horrocks and U. Sattler. A tableaux decision procedure for SHOIQ. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI-05). Morgan Kaufmann, Jan. 2005. Google ScholarDigital Library
- I. Horrocks and U. Sattler. A tableau decision procedure for SHOIQ. J. of Automated Reasoning, 39(3):249--276, 2007. Google ScholarDigital Library
- I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for very expressive description logics. J. of the Interest Group in Pure and Applied Logic, 8(3):239--264, 2000.Google Scholar
- C. Lutz. Complexity of terminological reasoning revisited. In Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR'99), Lecture Notes in Computer Science, pages 181--200. Springer, 1999. Google ScholarDigital Library
- C. Lutz. The complexity of conjunctive query answering in expressive description logics. In A. Armando, P. Baumgartner, and G. Dowek, editors, Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR2008), number 5195 in LNAI, pages 179--193. Springer, 2008. Google ScholarDigital Library
- J. Mendez and B. Suntisrivaraporn. Reintroducing CEL as an OWL 2 EL reasoner. In B. Cuenca Grau, I. Horrocks, B. Motik, and U. Sattler, editors, Proc. of the 2008 Description Logic Workshop (DL 2009), volume 477 of CEUR-WS, 2009.Google Scholar
- M. Minsky. A framework for representing knowledge. Technical report, MIT-AI Laboratory, Cambridge, MA, USA, 1974. Google ScholarDigital Library
- B. Motik. Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Universität Karlsruhe, 2006.Google Scholar
- B. Motik, B. Cuenca Grau, I. Horrocks, Z. Wu, A. Fokoue, and C. Lutz. OWL 2 web ontology language profiles. W3C Recommendation, 27 October 2009. http://www.w3.org/TR/2009/REC-owl2-profiles-20091027/.Google Scholar
- B. Motik and U. Sattler. A Comparison of Techniques for Querying Large Description Logic ABoxes. In M. Hermann and A. Voronkov, editors, Proc. of the 13th Int. Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR'06), LNCS, Phnom Penh, Cambodia, November 13--17 2006. Springer. KAON2 download page: http://kaon2.semanticweb.org/. Google ScholarDigital Library
- B. Motik, R. Shearer, and I. Horrocks. A hypertableau calculus for SHIQ. In D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, S. Tessaris, and A.-Y. Turhan, editors, Proc. of the 2007 Description Logic Workshop (DL 2007), June 2007.Google Scholar
- B. Motik, R. Shearer, and I. Horrocks. Optimized Reasoning in Description Logics using Hypertableaux. In F. Pfennig, editor, Proc. of the 23th Conf. on Automated Deduction (CADE-23), LNAI, pages 67--83, Bremen, Germany, July 17--20 2007. Springer. Google ScholarDigital Library
- M. Ortiz, D. Calvanese, and T. Eiter. Data complexity of query answering in expressive description logics via tableaux. Journal of Automated Reasoning, 41(1):61--98, 2008. Google ScholarDigital Library
- M. R. Quillian. Word concepts: A theory and simulation of some basic capabilities. Behavioral Science, 12:410--430, 1967. Republished in {11}.Google ScholarCross Ref
- Racer Systems GmbH & Co. KG. RacerPro Reference Manual Version 1.9, Dec. 2005. Available from: http://www.racer-systems.com/products/racerpro/reference-raanual-1-9.pdf.Google Scholar
- E. Sirin and B. Parsia. Pellet system description. In B. Parsia, U. Sattler, and D. Toman, editors, Description Logics, volume 189 of CEUR Workshop Proceedings. CEUR-WS.org, 2006.Google Scholar
- J. F. Sowa, editor. Principles of Semantic Networks. Morgan Kaufmann, Los Altos, 1991.Google Scholar
- J. F. Sowa. Encyclopedia of Artificial Intelligence, chapter Semantic Networks. John Wiley & Sons, New York, 1992.Google Scholar
- T. Springer and A.-Y. Turhan. Employing description logics in ambient intelligence for modeling and reasoning about complex situations. Journal of Ambient Intelligence and Smart Environments, 1(3):235--259, 2009. Google ScholarDigital Library
- S. Tobies. The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. Journal of Artificial Intelligence Research, 12:199--217, May 2000. Google ScholarDigital Library
- D. Tsarkov and I. Horrocks. FaCT++ description logic reasoner: System description. In Proc. of the 3rd Int. Joint Conf. on Automated Reasoning (IJCAR-06), 2006. FaCT++ download page: http://owl.man.ac.uk/factplusplus/. Google ScholarDigital Library
- D. Tsarkov, I. Horrocks, and P. F. Patel-Schneider. Optimising terminological reasoning for expressive description logics. Journal of Automated Reasoning, 2007. Google ScholarDigital Library
- A.-Y. Turhan. Reasoning and explanation in EL and in expressive description logics. In U. Aßmann, A. Bartho, and C. Wende, editors, Reasoning Web, number 6325 in LNCS, pages 1--27. Springer, 2010. Google ScholarDigital Library
- W3C OWL Working Group. OWL 2 web ontology language document overview. W3C Recommendation, 27th October 2009. http://www.w3.org/TR/2009/REC-owl2-overview-20091027/.Google Scholar
Index Terms
- Description logic reasoning for semantic web ontologies
Recommendations
Description logic programs: combining logic programs with description logic
WWW '03: Proceedings of the 12th international conference on World Wide WebWe show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a ...
Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic
Uncertainty Reasoning for the Semantic Web IWe present a reasoning procedure for ontologies with uncertainty described in Description Logic (DL) which include General TBoxes, i.e., include cycles and General Concept Inclusions (GCIs). For this, we consider the description language ${{\cal{ALC}}_U}...
A defeasible reasoning approach for description logic ontologies
SAICSIT '12: Proceedings of the South African Institute for Computer Scientists and Information Technologists ConferenceClassical reasoning for logic-based KR (Knowledge Representation) systems is in general, monotonic. That is, there is an assumption in these systems that there is complete information about a domain. This means that they generally cannot deal with any ...
Comments