Description logic rules

Description Logic Rules

Volumn , Issue , 2010, Pages 1-263

  Krötzsch, Markus ^a,b  

^a Institut für Angewandte Informatik und Formale Beschreibungsverfahren AIFB   (Germany)

^b KARLSRUHE INSTITUTE OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ECONOMIC AND SOCIAL EFFECTS; FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION; MODELING LANGUAGES; ONTOLOGY;

COMPUTATIONAL PROPERTIES; DESCRIPTION LOGIC; KNOWLEDGE MODELLING; KNOWLEDGE REPRESENTATION LANGUAGE; NOVEL SOLUTIONS; ONTOLOGICAL MODELLING; ONTOLOGY LANGUAGE; SCIENCE AND TECHNOLOGY;

DATA DESCRIPTION;

EID: 85027527867     PISSN: None     EISSN: None     Source Type: Book    
DOI: None     Document Type: Book

References (198)

1. Karl Aberer, Key-Sun Choi, Natasha Noy, Dean Allemang, Kyung- Il Lee, Lyndon Nixon, Jennifer Golbeck, Peter Mika, Diana Maynard, Riichiro Mizoguchi, Guus Schreiber, and Philippe Cudré- Mauroux, editors. Proceedings of the 6th International Semantic Web Conference (ISWC'07), volume 4825 of LNCS. Springer, 2007.
2. Carlos Areces and Maarten de Rijke. From description to hybrid logics, and back. In Wolter et al. [WWdRZ02], pages 17-36.
3. Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison Wesley, 1994.
4. Anupriya Ankolekar, Markus Krötzsch, Duc Thanh Tran, and Denny Vrandečić. The two cultures: mashing up Web 2.0 and the Semantic Web. Journal of Web Semantics, 6(1), 2008.
5. Hajnal Andréka, Johan F. A. K. van Benthem, and István Németi. Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic, 27(3):217-274, 1998.
6. Franz Baader. Least common subsumers and most specific concepts in a description logic with existential restrictions and terminological cycles. In Georg Gottlob and Toby Walsh, editors, Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI'03), pages 325-330. Morgan Kaufmann, 2003.
7. Dave Beckett and Jeen Broekstra, editors. SPARQL Query Results XML Format. W3C Recommendation, 15 January 2008. Available at http://www.w3.org/TR/rdf-sparql-XMLres/.
8. Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel,Werner Nutt, and Hans- Jürgen Profitlich. Terminological knowledge representation: A pro-posal for a terminological logic. Technical memo, DFKI GmbH, Saarbrücken, Germany, 1990.
9. Franz Baader, Sebastian Brandt, and Carsten Lutz. Pushing the EL envelope. In Kaelbling and Saffiotti [KS05], pages 364-369.
10. Franz Baader, Sebastian Brandt, and Carsten Lutz. Pushing the EL envelope further. In Clark and Patel-Schneider [CPS08].
11. Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, and Lori A. Resnik. CLASSIC: a structural data model for objects. In James Clifford, Bruce G. Lindsay, and David Maier, editors, Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, volume 18 of SIGMOD Record, pages 59- 67, 1989.
12. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, second edition, 2007.
13. Martin Buchheit, Francesco M. Donini, and Andrea Schaerf. Decidable reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research, 1:109-138, 1993.
14. Dave Beckett, editor. RDF/XML Syntax Specification (Revised). W3C Recommendation, 10 February 2004. Available at http:// www.w3.org/TR/rdf-syntax-grammar/.
15. Barry Bishop and Florian Fischer. IRIS - Integrated Rule Inference System. In Frank van Harmelen, Andreas Herzig, Pascal Hitzler, Zuoquan Lin, Ruzica Piskac, and Guilin Qi, editors, Proceedings of the Workshop on Advancing Reasoning on the Web: Scalability and Commonsense (ARea'08), volume 350 of CEUR Workshop Proceedings. CEUR-WS.org, 2008.
16. Barry Bishop, Florian Fischer, Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Yiorgos Trimponias, and Gulay Unel. Defining the features of the WSML-DL v2.0 language. Deliverable, SOA4All, 2009. Available at http://www.soa4all.eu/ file-upload.html?func=startdown&id=82.
17. Leo Bachmair and Harald Ganzinger. Equational reasoning in saturation-based theorem proving. In Wolfgang Bibel and Peter H.Schmitt, editors, Automated Deduction - A Basis for Applications, volume I, chapter 11, pages 353-397. Kluwer, 1998.
18. Dan Brickley and Ramanathan V. Guha, editors. RDF Vocabulary Description Language 1.0: RDF Schema. W3C Recommendation, 10 February 2004. Available at http://www.w3.org/TR/ rdf-schema/.
19. Franz Baader and Bernhard Hollunder. A terminological knowledge representation system with complete inference algorithm. In Harold Boley and Michael M. Richter, editors, Proceedings of the Workshop on Processing Declarative Knowledge (PDK'91), volume 567 of LNCS, pages 67-86. Springer, 1991.
20. Harold Boley, Gary Hallmark, Michael Kifer, Adrian Paschke, Axel Polleres, and Dave Reynolds, editors. RIF Core Dialect. W3C Candidate Recommendation, 1 October 2009. Available at http://www.w3.org/TR/rif-core/.
21. Harold Boley and Michael Kifer, editors. RIF Basic Logic Dialect. W3C Candidate Recommendation, 1 October 2009. Available at http://www.w3.org/TR/rif-bld/.
22. Ronald J. Brachman and Hector J. Levesque. The tractability of subsumption in frame-based description languages. In Ronald J. Brachman, editor, Proceedings of the 4th National Conference on Artificial Intelligence (AAAI'84), pages 34-37. AAAI Press, 1984.
23. Gerhard Brewka and Jérôme Lang, editors. Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08). AAAI Press, 2008.
24. Tim Berners-Lee, James Hendler, and Ora Lassila. The Semantic Web. Scientific American, pages 96-101, May 2001.
25. Franz Baader, Carsten Lutz, and Boris Motik, editors. Proceedings of the 21st International Workshop on Description Logics (DL'08), volume 353 of CEUR Workshop Proceedings. CEURWS. org, 2008.
26. Franz Baader and Tobias Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.
27. Alex Borgida. On the relative expressiveness of description logics and predicate logics. Artificial Intelligence, 82(1-2):353-367, 1996.
28. Craig Boutilier, editor. Proceedings of the 21st International Conference on Artificial Intelligence (IJCAI'09). IJCAI, 2009.
29. Ronald J. Brachman, Victoria Pigman Gilbert, and Hector J. Levesque. An essential hybrid reasoning system: Knowledge and symbol level accounts in KRYPTON. In Aravind K. Joshi, editor, Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI'85), pages 532-539. Morgan Kaufmann, 1985.
30. Ronald J. Brachman and James G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2):171-216, 1985.
31. Franz Baader, Baris Sertkaya, and Anni-Yasmin Turhan. Computing the least common subsumer w.r.t. a background terminology. Journal of Applied Logics, 5(3):392-420, 2007.
32. Patrick Blackburn and Miroslava Tzakova. Hybridizing concept languages. Annals of Mathematics and Artificial Intelligence, 24(1-4):23-49, 1998.
33. Patrick Blackburn, Johan F. A. K. van Benthem, and Frank Wolter, editors. Handbook of Modal Logic, volume 3 of Studies in Logic and Practical Reasoning. Elsevier Science, 2006.
34. Isabel F. Cruz, Stefan Decker, Dean Allemang, Chris Preist, Daniel Schwabe, Peter Mika, Mike Uschold, and Lora Aroyo, editors. Proceedings of the 5th International Semantic Web Conference (ISWC'06), volume 4273 of LNCS. Springer, 2006.
35. Diego Calvanese, Thomas Eiter, and Magdalena Ortiz. Answering regular path queries in expressive description logics: An automatatheoretic approach. In Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI'07), pages 391-396. AAAI Press, 2007.
36. Diego Calvanese, Thomas Eiter, and Magdalena Ortiz. Regular path queries in expressive description logics with nominals. In Boutilier [Bou09], pages 714-720.
37. Kendall G. Clark, Lee Feigenbaum, and Elias Torres, editors. SPARQL Protocol for RDF. W3C Recommendation, 15 January 2008. Available at http://www.w3.org/TR/ rdf-sparql-protocol/.
38. Diego Calvanese, Guiseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. Journal of Automated Reasoning, 39(3):385-429, 2007.
39. Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, and Ulrike Sattler, editors. Proceedings of the 22nd International Workshop on Description Logics (DL'09), volume 477 of CEUR Workshop Proceedings. CEUR-WS.org, 2009.
40. Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, and Peter F. Patel-Schneider, editors. Proceedings of the OWLED 2005 Workshop on OWL: Experiences and Directions, volume 188 of CEUR Workshop Proceedings. CEUR-WS.org, 2005.
41. Chen Chung Chang and H. Jerome Keisler. Model Theory, volume 73 of Studies in Logic and the Foundations of Mathematics. North Holland, third edition, 1990.
42. Ashok K. Chandra, Dexter C. Kozen, and Larry J. Stockmeyer. Alternation. Journal of the ACM, 28(1):114-133, 1981.
43. William F. Clocksin and Christopher S. Mellish. Programming in Prolog: Using the ISO Standard. Springer, 5th edition, 2003.
44. Kendall G. Clark and Peter F. Patel-Schneider, editors. Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, volume 496 of CEUR Workshop Proceedings. CEURWS. org, 2008.
45. Cycorp. Ontological Engineer's Handbook, version 0.7, 2002. Available online at http://www.cyc.com/doc/handbook/oe/ oe-handbook-toc-opencyc.html, accessed Oct 2009.
46. Jos de Bruijn, editor. RIF RDF and OWL Compatibility. W3C Candidate Recommendation, 1 October 2009. Available at http: //www.w3.org/TR/rif-rdf-owl/.
47. Sherri de Coronado, MargaretW. Haber, Nicholas Sioutos, Mark S. Tuttle, and Lawrence W. Wright. NCI Thesaurus: Using sciencebased terminology to integrate cancer research results. In Marius Fieschi, Enrico Coiera, and Yu-Chan Jack Li, editors, Proceedings of the 11th World Congress on Medical Informatics (MEDINFO' 04), pages 33-37. IOS Press, 2004.
48. Pierre Deransart, AbdelAli Ed-Dbali, and Laurent Cervoni. Prolog: The Standard. Reference Manual. Springer, 1996.
49. Evgeny Dantsin, Thomas Eiter, Georg Gottlob, and Andrei Voronkov. Complexity and expressive power of logic programming. ACM Computing Surveys, 33(3):374-425, 2001.
50. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf. Reasoning in description logics. In Gerhard Brewka, editor, Principles of Knowledge Representation, Studies in Logic, Language, and Information, pages 193-238. CLSI Publications, 1996.
51. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf. AL-log: Integrating datalog and description logics. Journal of Intelligent and Cooperative Information Systems, 10(3):227-252, 1998.
52. Patrick Doherty, John Mylopoulos, and Christopher A. Welty, editors. Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06). AAAI Press, 2006.
53. Stéphane Demri and Hans Nivelle. Deciding regular grammar logics with converse through first-order logic. Journal of Logic, Language and Information, 14(3):289-329, 2005.
54. John Day-Richter, editor. The OBO Flat File Format Specification, version 1.2. The Gene Ontology Consortium, 2006. Available at http://www.geneontology.org/GO.format.obo-1_ 2.shtml.
55. Christian de Sainte Marie, Adrian Paschke, and Gary Hallmark, editors. RIF Production Rule Dialect. W3C Candidate Recommendation, 1 October 2009. Available at http://www.w3.org/ TR/rif-prd/.
56. Thomas Eiter, Georg Gottlob, Magdalena Ortiz, and Mantas Simkus. Query answering in the description logic Horn-SHIQ. In Hölldobler et al. [HLW08], pages 166-179.
57. Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits. A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In Kaelbling and Saffiotti [KS05], pages 90-96.
58. Thomas Eiter, Carsten Lutz, Magdalena Ortiz, and Mantas Simkus. Query answering in description logics with transitive roles. In Boutilier [Bou09], pages 759-764.
59. Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits. Combining answer set programming with description logics for the Semantic Web. In Didier Dubois, Christopher A. Welty, and Mary-Anne Williams, editors, Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR'04), pages 141-151. AAAI Press, 2004.
60. Melvin Fitting. First-Order Logic and Automated Theorem Proving. Springer, 2nd edition, 1996.
61. Peter Fox, Deborah McGuinness, Luca Cinquini, Patrick West, Jose Garcia, James L. Benedict, and Don Middleton. Ontologysupported scientific data frameworks: The virtual solar-terrestrial observatory experience. Computers & Geosciences, 35(4):724- 738, 2009.
62. Charles Forgy. Rete: A fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence, 19:17-37, 1982.
63. Joseph Goguen and Rod Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95-146, 1992.
64. The Gene Ontology Consortium. Gene Ontology: tool for the unification of biology. Nature Genetics, 25(1):25-29, 2000.
65. Michael R. Genesereth and Richard E. Fikes. Knowledge Interchange Format, version 3.0 reference manual. Technical report, Computer Science Department, Stanford University, Stanford, CA, USA, 1992.
66. Carole Goble, Chris Greenhalgh, Steve Pettifer, and Robert Stevens. Knowledge integration: In Silico experiments in bioinformatics. In Ian Foster and Carl Kesselman, editors, The Grid: Blueprint for a New Computing Infrastructure, chapter 9. Morgan Kaufmann, second edition, 2003.
67. Francis Gasse and Volker Haarslev. DLRule: A rule editor plug-in for Protégé. In Clark and Patel-Schneider [CPS08].
68. Birte Glimm, Matthew Horridge, Bijan Parsia, and Peter F. Patel- Schneider. A syntax for rules in OWL 2. In Patel-Schneider and Hoekstra [PSH09].
69. Birte Glimm, Ian Horrocks, and Ulrike Sattler. Unions of conjunctive queries in SHOQ. In Brewka and Lang [BL08], pages 252- 262.
70. Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker. Description logic programs: combining logic programs with description logic. In Proceedings of the 12th International Conference on World Wide Web (WWW'03), pages 48-57. ACM, 2003.
71. Birte Glimm and Yevgeny Kazakov. Role conjunctions in expressive description logics. In Iliano Cervesato, Helmut Veith, and Andrei Voronkov, editors, Proceedings of the 15th International Conference on Logic for Programming and Automated Reasoning (LPAR'08), volume 5330 of LNCS, pages 391-405. Springer, 2008.
72. Guiseppe De Giacomo and Maurizio Lenzerini. Boosting the correspondence between description logics and propositional dynamic logics. In Proceedings of the 12th National Conference on Artificial Intelligence (AAAI'94), volume 1, pages 205-212. AAAI Press, 1994.
73. Birte Glimm, Carsten Lutz, Ian Horrocks, and Ulrike Sattler. Answering conjunctive queries in the SHIQ description logic. Journal of Artificial Intelligence Research, 31:150-197, 2008.
74. Ashish Gupta and Inderpal Singh Mumick, editors. Materialized Views: Techniques, Implementations, and Applications. MIT Press, 1999.
75. Kurt Gödel. über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. Monatshefte für Mathematik und Physik, 38:173-198, 1931.
76. Joseph Goguen. Information integration in institutions. Draft of a chapter for Jon Barwise memorial volume, edited by Larry Moss, Indiana University Press; available at http://cseweb. ucsd.edu/~goguen/pps/ifi04.pdf, 2006.
77. John Goodwin. Experiences of using OWL at the Ordnance Survey. In Cuenca Grau et al. [CHPPS05].
78. Birte Glimm and Sebastian Rudolph. Conjunctive query entailment: Decidable in spite of O, I, and Q. In Cuenca Grau et al. [CHMS09].
79. Erich Grädel. Description logics and guarded fragments of firstorder logic: A perspective for new description logics? In Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, and Christopher A. Welty, editors, Proceedings of the 1998 International Workshop on Description Logics (DL'98), volume 11 of CEUR Workshop Proceedings. CEUR-WS.org, 1998.
80. Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, and Nikos Avouris, editors. Proceedings of the 18th European Conference on Artificial Intelligence (ECAI'08). IOS Press, 2008.
81. Francis Gasse, Ulrike Sattler, and Volker Haarslev. Rewriting rules into SROIQ axioms. In Baader et al. [BLM08].
82. Bernhard Ganter and Rudolph Wille. Formal Concept Analysis: Mathematical Foundations. Springer, 1997.
83. Christine Golbreich, Songmao Zhang, and Oliver Bodenreider. The foundational model of anatomy in OWL: Experience and perspectives. Journal of Web Semantics, 4(3):181-195, 2006.
84. Patrick Hayes, editor. RDF Semantics. W3C Recommendation, 10 February 2004. Available at http://www.w3.org/TR/rdf-mt/.
85. Matthew Horridge, Sean Bechhofer, and Olaf Noppens. Igniting the OWL 1.1 touch paper: The OWL API. In Christine Golbreich, Aditya Kalyanpur, and Bijan Parsia, editors, Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, volume 258 of CEUR Workshop Proceedings. CEURWS. org, 2007.
86. Pascal Hitzler, Markus Krötzsch, Bijan Parsia, Peter F. Patel- Schneider, and Sebastian Rudolph, editors. OWL 2 Web Ontology Language: Primer. W3C Recommendation, 27 October 2009. Available at http://www.w3.org/TR/owl2-primer/.
87. Pascal Hitzler, Markus Krötzsch, and Sebastian Rudolph. Foundations of Semantic Web Technologies. Chapman & Hall/CRC, 2009.
88. Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, and York Sure. Semantic Web - Grundlagen. eXamen.press. Springer, 2008.
89. Ian Horrocks, Oliver Kutz, and Ulrike Sattler. The irresistible SRIQ. In Cuenca Grau et al. [CHPPS05].
90. Ian Horrocks, Oliver Kutz, and Ulrike Sattler. The even more irresistible SROIQ. In Doherty et al. [DMW06], pages 57-67.
91. Peter Haase, Holger Lewen, Rudi Studer, Duc Thanh Tran, Michael Erdmann, Mathieu d'Aquin, and Enrico Motta. The NeOn ontology engineering toolkit, 2008. Presentation at the Developers Track of the 17th International Conference on World Wide Web (WWW'08), synopsis available at http://www.aifb.uni-karlsruhe.de/WBS/pha/ publications/neon-toolkit.pdf.
92. Steffen Hölldobler, Carsten Lutz, and Heinrich Wansing, editors. Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA'08), volume 5293 of LNAI. Springer, 2008.
93. Volker Haarslev and Ralf Möller. Racer system description. In Rajeev Gor, Alexander Leitsch, and Tobias Nipkow, editors, Proceedings of the 1st International Joint Conference on Automated Reasoning (IJCAR'01), volume 2083 of LNCS, pages 701-705. Springer, 2001.
94. Ulrich Hustadt, Boris Motik, and Ulrike Sattler. Data complexity of reasoning in very expressive description logics. In Kaelbling and Saffiotti [KS05], pages 466-471.
95. Ian Horrocks and Peter F. Patel-Schneider. A proposal for an OWL rules language. In Stuart I. Feldman, Mike Uretsky, Marc Najork, and Craig E. Wills, editors, Proceedings of the 13th International Conference on World Wide Web (WWW'04), pages 723-731. ACM, 2004.
96. Matthew Horridge, Bijan Parsia, and Ulrike Sattler. Laconic and precise justifications in OWL. In Sheth et al. [SSD+08], pages 323- 338.
97. Ian Horrocks, Peter F. Patel-Schneider, Harold Boley, Said Tabet, Benjamin N. Grosof, and Mike Dean. SWRL: A Semantic Web Rule Language. W3C Member Submission, 21 May 2004. Available at http://www.w3.org/Submission/SWRL/.
98. Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, and Dmitry Tsarkov. OWL Rules: A proposal and prototype implementation. Journal of Web Semantics, 3(1):23-40, 2005.
99. Ian Horrocks and Ulrike Sattler. Decidability of SHIQ with complex role inclusion axioms. Artificial Intelligence, 160(1):79-104, 2004.
100. Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Practical reasoning for expressive description logics. In Harald Ganzinger, David A. McAllester, and Andrei Voronkov, editors, Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning (LPAR'99), volume 1705 of LNCS, pages 161- 180. Springer, 1999.
101. ISO/IEC 24707:2007. Information technology - Common Logic (CL): a framework for a family of logic-based languages. International Organization for Standardization, 2007. Publicly available at http://standards.iso.org/ittf/ PubliclyAvailableStandards/c039175_ISO_IEC_24707_ 2007%28E%29.zip.
102. Andrew G. James and Kent A. Spackman. Representation of disorders of the newborn infant by SNOMED CT. In Stig Kjær Andersen, Gunnar O. Klein, Stefan Schulz, and Jos Aarts, editors, Proceedings of the 21st International Congress of the European Federation for Medical Informatics (MIE'08), pages 833-838, 2008.
103. Matthias Knorr, José J. Alferes, and Pascal Hitzler. A coherent well-founded model for hybrid MKNF knowledge bases. In Ghallab et al. [GSFA08], pages 99-103.
104. Aditya Kalyanpur. Debugging and Repair of OWL Ontologies. PhD thesis, University of Maryland College Park, USA, 2006.
105. Yevgeny Kazakov. Saturation-Based Decision Procedures for Extensions of the Guarded Fragment. PhD thesis, Universität des Saarlandes, Saarbrücken, Germany, 2006.
106. Yevgeny Kazakov. RIQ and SROIQ are harder than SHOIQ. In Brewka and Lang [BL08], pages 274-284.
107. Yevgeny Kazakov. Consequence-driven reasoning for horn SHIQ ontologies. In Boutilier [Bou09], pages 2040-2045.
108. Yevgeny Kazakov. An extension of regularity conditions for complex role inclusion axioms. In Cuenca Grau et al. [CHMS09].
109. Thomas S. Kaczmarek, Raymond Bates, and Gabriel Robins. Recent developments in NIKL. In Proceedings of the 5th National Conference on Artificial Intelligence (AAAI'86), volume 2, pages 978-985. Morgan Kaufmann, 1986.
110. Graham Klyne and Jeremy J. Carroll, editors. Resource Description Framework (RDF): Concepts and Abstract Syntax. W3C Recommendation, 10 February 2004. Available at http://www.w3.org/ TR/rdf-concepts/.
111. Robert E. Kent. System consequence. In Sebastian Rudolph, Frithjof Dau, and Sergei O. Kuznetsov, editors, Proceedings of the 17th International Conference on Conceptual Structures (ICCS'09), volume 5662 of Lecture Notes in Computer Science, pages 201-218. Springer, 2009.
112. Holger Knublauch, RayW. Fergerson, Natalya F. Noy, and Mark A. Musen. The Protégé OWL Plugin: An open development environment for Semantic Web applications. In Sheila A. McIlraith, Dimitris Plexousakis, and Frank van Harmelen, editors, Proceedings of the 3rd International SemanticWeb Conference (ISWC'04), volume 3298 of LNCS, pages 229-243. Springer, 2004.
113. Markus Krötzsch and Bernhard Ganter. A brief introduction to formal concept analysis. In Pascal Hitzler and Henrik Schärfe, editors, Conceptual Structures in Practice, chapter 1. Chapman & Hall/CRC, 2009.
114. Markus Krötzsch, Pascal Hitzler, Denny Vrandečić, and Michael Sintek. How to reason with OWL in a logic programming system. In Proceedings of the 2nd International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06). IEEE Computer Society Press, 2006.
115. Michael Kifer, Georg Lausen, and James Wu. Logical foundations of object-oriented and frame-based languages. Journal of the ACM, 42(4):741-843, 1995.
116. Vladimir Kolovski, Bijan Parsia, and Evren Sirin. Extending the SHOIQ(d) tableaux with DL-safe rules: First results. In Bijan Parsia, Ulrike Sattler, and David Toman, editors, Proceedings of the 19th International Workshop on Description Logics (DL'06), volume 198 of CEUR WS Proceedings. CEUR-WS.org, 2006.
117. Markus Krötzsch and Sebastian Rudolph. Conjunctive queries for EL with role composition. In Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, and Sergio Tessaris, editors, Proceedings of the 20th International Workshop on Description Logics (DL'07), volume 250 of CEUR Workshop Proceedings. CEUR-WS.org, 2007.
118. Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler. On the complexity of Horn description logics. In Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, and EvanWallace, editors, Proceedings of the 2nd Workshop on OWL: Experiences and Directions, volume 216 of CEUR WS Proceedings. CEUR-WS.org, 2006.
119. Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler. Complexity boundaries for Horn description logics. In Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI'07), pages 452-457. AAAI Press, 2007.
120. Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler. Conjunctive queries for a tractable fragment of OWL 1.1. In Aberer et al. [ACN+07], pages 310-323.
121. Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler. Description logic rules. In Ghallab et al. [GSFA08], pages 80-84.
122. Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler. ELP: Tractable rules for OWL 2. In Sheth et al. [SSD+08], pages 649- 664.
123. Markus Krötzsch. Efficient inferencing for OWL EL. In Tomi Janhunen and Ilkka Niemelä, editors, Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA'10), LNAI. Springer, 2010. To appear.
124. Markus Krötzsch, Sebastian Rudolph, and Peter H. Schmitt. On the semantic relationship between datalog and description logics. In Proceedings of the 4th Interational Conference on Web Reasoning and Rule Systems (RR'10), LNCS. Springer, 2010. To appear.
125. Leslie Pack Kaelbling and Alessandro Saffiotti, editors. Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI'05). Professional Book Center, 2005.
126. Markus Krötzsch, Denny Vrandečić, and Max Völkel. Semantic MediaWiki. In Cruz et al. [CDA+06], pages 935-942.
127. Markus Krötzsch, Denny Vrandečić, Max Völkel, Heiko Haller, and Rudi Studer. Semantic Wikipedia. Journal of Web Semantics, 5(4):251-261, 2007.
128. Doug Lenat and Ramanathan V. Guha. Building Large Knowledge- Based Systems: Representation and Inference in the Cyc Project. Addison-Wesley, 1990.
129. John W. Lloyd. Foundations of Logic Programming. Springer, 1988.
130. Alon Y. Levy and Marie-Christine Rousset. Combining Horn rules and description logics in carin. Artificial Intelligence, 104(1- 2):165-209, 1998.
131. Carsten Lutz and Ulrike Sattler. The complexity of reasoning with Boolean modal logics. In Wolter et al. [WWdRZ02], pages 329- 348.
132. Carsten Lutz and Ulrike Sattler. Description Logics. Lecture at the ICCL Summer School 2005, Dresden, Germany. Course material available at http://www.computational-logic.org/ content/events/iccl-ss-2005/, 2005.
133. Carsten Lutz. The complexity of conjunctive query answering in expressive description logics. In Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors, Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR'08), number 5195 in LNAI, pages 179-193. Springer, 2008.
134. Carsten Lutz and Dirk Walther. PDL with negation of atomic programs. Journal of Applied Non-Classical Logics, 15(2):189-213, 2005.
135. Carsten Lutz, Dirk Walther, and Frank Wolter. Conservative extensions in expressive description logics. In Veloso [Vel07], pages 453-458.
136. Robert MacGregor and Raymond Bates. The LOOM knowledge representation language. Technical report, Information Sciences Institute, The University of Southern California, Los Angeles, CA, USA, 1987.
137. Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Achille Fokoue, and Carsten Lutz, editors. OWL 2 Web Ontology Language: Profiles. W3C Recommendation, 27 October 2009. Available at http://www.w3.org/TR/owl2-profiles/.
138. Boris Motik, Ian Horrocks, Riccardo Rosati, and Ulrike Sattler. Can OWL and logic programming live together happily ever after? In Cruz et al. [CDA+06], pages 501-514.
139. Marvin Minsky. A framework for representing knowledge. Artificial intelligence memo, A.I. Laboratory, Massachusetts Institute of Technology, Cambridge, MA, USA, 1974.
140. Frank Manola and Eric Miller, editors. Resource Description Framework (RDF): Primer. W3C Recommendation, 10 February 2004. Available at http://www.w3.org/TR/rdf-primer/.
141. Boris Motik. Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Universität Karlsruhe (TH), Germany, 2006.
142. Boris Motik, Peter F. Patel-Schneider, and Bernardo Cuenca Grau, editors. OWL 2 Web Ontology Language: Direct Semantics. W3C Recommendation, 27 October 2009. Available at http://www.w3.org/TR/owl2-direct-semantics/.
143. Boris Motik, Peter F. Patel-Schneider, and Bijan Parsia, editors. OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax. W3C Recommendation, 27 October 2009. Available at http://www.w3.org/TR/owl2-syntax/.
144. Boris Motik and Riccardo Rosati. A faithful integration of description logics with logic programming. In Veloso [Vel07], pages 477- 482.
145. Boris Motik and Ulrike Sattler. A comparison of reasoning techniques for querying large description logic ABoxes. In Miki Hermann and Andrei Voronkov, editors, Proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligencen, and Reasoning (LPAR'01), volume 4246 of LNCS, pages 227-241. Springer, 2006.
146. Boris Motik, Rob Shearer, and Ian Horrocks. Optimized reasoning in description logics using hypertableaux. In Frank Pfenning, editor, Proceedings of the 21st Conference on Automated Deduction (CADE'07), volume 4603 of LNAI, pages 67-83. Springer, 2007.
147. Boris Motik, Rob Shearer, and Ian Horrocks. Hypertableau reasoning for description logics. Submitted to a journal, available at http://www.hermit-reasoner.com/publications/, 2008.
148. Boris Motik, Ulrike Sattler, and Rudi Studer. Query answering for OWL DL with rules. Journal of Web Semantics, 3(1):41-60, 2005.
149. Magdalena Ortiz, Sebastian Rudolph, and Mantas Simkus. Worstcase optimal reasoning for the Horn-DL fragments of OWL 1 and 2. In Fangzhen Lin, Ulrike Sattler, and Miroslaw Truszczynski, editors, Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR'10), pages 269-279. AAAI Press, 2010.
150. Magdalena Ortiz. Extending carin to the description logics of the SH family. In Hölldobler et al. [HLW08], pages 324-337.
151. W3C OWLWorking Group. OWL 2Web Ontology Language: Document Overview. W3C Recommendation, 27 October 2009. Available at http://www.w3.org/TR/owl2-overview/.
152. Christos H. Papadimitriou. Computational Complexity. Addison Wesley, 1994.
153. Ian Pratt-Hartmann. Complexity of the two-variable fragment with counting quantifiers. Journal of Logic, Language and Information, 14:369-395, 2005.
154. Eric Prud'hommeaux and Andy Seaborne, editors. SPARQL Query Language for RDF. W3C Recommendation, 15 January 2008. Available at http://www.w3.org/TR/rdf-sparql-query/.
155. Bijan Parsia, Evren Sirin, Bernardo Cuenca Grau, Edna Ruckhaus, and Daniel Hewlett. Cautiously approaching SWRL. Preprint submitted to Elsevier Science, available at http://www.mindswap. org/papers/CautiousSWRL.pdf, 2005.
156. Peter F. Patel-Schneider and Rinke Hoekstra, editors. Proceedings of the OWLED 2009 Workshop on OWL: Experiences and Directions, volume 529 of CEUR Workshop Proceedings. CEURWS. org, 2009.
157. Peter F. Patel-Schneider, Patrick Hayes, and Ian Horrocks, editors. OWL Web Ontology Language Semantics and Abstract Syntax. W3C Recommendation, 10 February 2004. Available at http://www.w3.org/TR/owl-semantics/.
158. Peter F. Patel-Schneider and Boris Motik, editors. OWL 2 Web Ontology Language: Mapping to RDF Graphs. W3C Recommendation, 27 October 2009. Available at http://www.w3.org/TR/ owl2-mapping-to-rdf/.
159. Peter F. Patel-Schneider and Bill Swartout. Description-logic knowledge representation system specification from the KRSS group of the ARPA knowledge sharing effort. Available at http: //www.bell-labs.com/user/pfps/papers/krss-spec.ps, 1993.
160. Joachim Quantz and Carsten Kindermann. Implementation of the BACK-system version 4. KIT Report, Department of Computer Science, Technische Universität Berlin, Germany, 1990.
161. M. Ross Quillian. Semantic memory. In Marvin Minsky, editor, Semantic Information Processing, chapter 4, pages 227-270. MIT Press, 1968.
162. Alan Rector, Also Gangemi, Elena Galeazzi, Andrzej J. Glowinski, and Aangelo Rossi-Mori. The GALEN CORE model schemata for anatomy: Towards a re-usable application-independent model of medical concepts. In Pedro Barahona, Mario Veloso, and Jeremy Bryant, editors, Proceedings of the 12th International Congress of the European Federation for Medical Informatics (MIE'94), pages 229-233, 1994.
163. Sebastian Rudolph, Markus Krötzsch, and Pascal Hitzler. All elephants are bigger than all mice. In Baader et al. [BLM08].
164. Sebastian Rudolph, Markus Krötzsch, and Pascal Hitzler. Cheap Boolean role constructors for description logics. In Hölldobler et al. [HLW08], pages 362-374.
165. Sebastian Rudolph, Markus Krötzsch, and Pascal Hitzler. Description logic reasoning with decision diagrams: Compiling SHIQ to disjunctive datalog. In Sheth et al. [SSD+08], pages 435-450.
166. Sebastian Rudolph, Markus Krötzsch, and Pascal Hitzler. Terminological reasoning in SHIQ with ordered binary decision diagrams. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI'08), pages 529-534. AAAI Press, 2008.
167. Stuart Russell and Peter Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, second edition, 2003.
168. Riccardo Rosati. DL+log: A tight integration of description logics and disjunctive datalog. In Doherty et al. [DMW06], pages 68-78.
169. Robert G. Raskin and Michael J. Pan. Knowledge representation in the semantic web for Earth and environmental terminology (SWEET). Journal of Computers and Geosciences, 31(9):1119- 1125, 2005.
170. Sebastian Rudolph. Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification. PhD thesis, Technische Universität Dresden, Germany, 2006.
171. Barry Smith, Michael Ashburner, Cornelius Rosse, Jonathan Bard, William Bug, Werner Ceusters, Louis J. Goldberg, Karen Eilbeck, Amelia Ireland, Christopher J. Mungall, The OBI Consortium, Neocles Leontis, Philippe Rocca-Serra, Alan Ruttenberg, Susanna- Assunta Sansone, Richard H. Scheuermann, Nigam Shah, Patricia L. Whetzeland, and Suzanna Lewis. The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration. Nature Biotechnology, 25:1251-1255, 2007.
172. Nigel Shadbolt, Tim Berners-Lee, and Wendy Hall. The Semantic Web revisited. IEEE Intelligent Systems, 21(3):96-101, 2006.
173. Kent A. Spackman, Keith E. Campbell, and Roger A. Côté. SNOMED RT: A reference terminology for health care. In Daniel R. Masys, editor, Proceedings of the 1997 AMIA Annual Fall Symposium, Journal of the American Medial Informatics Association, Symposium Supplement, pages 640-644. Hanley & Belfus, 1997.
174. Klaus Schild. A correspondence theory for terminological logics: Preliminary report. In John Mylopoulos and Raymond Reiter, editors, Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI'91), pages 466-471. Morgan Kaufmann, 1991.
175. Andrea Schaerf. Reasoning with individuals in concept languages. Data Knowledge Engineering, 13(2):141-176, 1994.
176. Peter H. Schmitt. Notes on conservative extensions. Personal communication, 2009.
177. Michael Schneider, editor. OWL 2 Web Ontology Language: RDF-Based Semantics. W3C Recommendation, 27 October 2009. Available at http://www.w3.org/TR/ owl2-rdf-based-semantics/.
178. Baris Sertkaya. Formal Concept Analysis Methods for Description Logics. PhD thesis, Technische Universität Dresden, Germany, 2007.
179. Rudi Studer, Stephan Grimm, and Andreas Abecker, editors. Semantic Web Services: Concepts, Technologies, and Applications. Springer, 2007.
180. Michael Smith, Ian Horrocks, Markus Krötzsch, and Birte Glimm, editors. OWL 2 Web Ontology Language: Conformance. W3C Recommendation, 27 October 2009. Available at http://www.w3.org/TR/owl2-conformance/.
181. John F. Sowa. Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks/Cole, 2000.
182. Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, and Yarden Katz. Pellet: A practical OWL-DL reasoner. Journal of Web Semantics, 5(2):51-53, 2007.
183. Manfred Schmidt-Schauß. Subsumption in KL-ONE is undecidable. In Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, editors, Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89), pages 421-431. Morgan Kaufmann, 1989.
184. Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, and Krishnaprasad Thirunarayan, editors. Proceedings of the 7th International Semantic Web Conference (ISWC'08), volume 5318 of LNCS. Springer, 2008.
185. Manfred Schmidt-Schauß and Gert Smolka. Attributive concept descriptions with complements. Journal of Artificial Intelligence, 48:1-26, 1991.
186. Renate A. Schmidt and Dmitry Tishkovsky. Using tableau to decide expressive description logics with role negation. In Aberer et al. [ACN+07], pages 438-451.
187. Jet Propulsion Laboratory, California Institute of Technology. Semantic Web for Earth and Environmental Terminology (SWEET). http://sweet.jpl.nasa.gov/, accessed Oct 2009.
188. Sergio Tessaris. Questions and answers: reasoning and querying in Description Logic. PhD thesis, University of Manchester, United Kingdom, 2001.
189. Dmitry Tsarkov and Ian Horrocks. FaCT++ description logic reasoner: System description. In Ulrich Furbach and Natarajan Shankar, editors, Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06), volume 4130 of LNCS, pages 292-297. Springer, 2006.
190. Stephan Tobies. Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen, Germany, 2001.
191. Dmitry Tsarkov, Ulrike Sattler, and Robert Stevens. A solution for the Man-Man Problem in the family history knowledge base. In Patel-Schneider and Hoekstra [PSH09].
192. Alan M. Turing. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 42(2):230-265, 1937.
193. Mathias Uslar and Nikolai Dahlem. Semantic web technologies for power grid management. In Rainer Koschke, Otthein Herzog, Karl-Heinz Rödiger, and Marc Ronthaler, editors, Informatik 2007: Informatik trifft Logistik, Beiträge der 37. Jahrestagung der Gesellschaft für Informatik, Bremen, Germany, volume 1 of GI Proceedings 109, pages 242-246. Köllen Druck & Verlag GmbH, 2007.
194. Mathias Uslar and Fabian Grüning. Zur semantischen Interoperabilität in der Energiebranche: CIM IEC 61970. Wirtschaftsinformatik, 49(4):295-303, 2007.
195. Manuela M. Veloso, editor. Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI'07). IJCAI, 2007.
196. Raphael Volz. Web Ontology Reasoning with Logic Databases. PhD thesis, Universität Karlsruhe (TH), Germany, 2004.
197. Michael Wessel. Obstacles on the way to qualitative spatial reasoning with description logics: Some undecidability results. In Carole A. Goble, Deborah L. McGuinness, Ralf Möller, and Peter F. Patel-Schneider, editors, Working Notes of the 2001 International Description Logics Workshop (DL'01), volume 49 of CEUR WS Proceedings. CEUR-WS.org, 2001.
198. Frank Wolter, Heinrich Wansing, Maarten de Rijke, and Michael Zakharyaschev, editors. Proceedings of the 3rd International Conference on Advances in Modal Logic (AiML'00), volume 3 of Advances in Modal Logics. World Scientific Publishing Company, 2002.