Skip to main content
×
Home
An Introduction to Description Logic
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 3
  • Cited by
    This book has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Hansen, Peter and Lutz, Carsten 2017. The Semantic Web – ISWC 2017. Vol. 10587, Issue. , p. 347.

    Gerasimova, Olga Kikot, Stanislav Podolskii, Vladimir and Zakharyaschev, Michael 2017. Knowledge Engineering and Semantic Web. Vol. 786, Issue. , p. 143.

    Simari, Gerardo I. Molinaro, Cristian Vanina Martinez, Maria Lukasiewicz, Thomas and Predoiu, Livia 2017. Ontology-Based Data Access Leveraging Subjective Reports. p. 1.

    ×
  • Export citation
  • Recommend to librarian
  • Recommend this book

    Email your librarian or administrator to recommend adding this book to your organisation's collection.

    An Introduction to Description Logic
    • Online ISBN: 9781139025355
    • Book DOI: https://doi.org/10.1017/9781139025355
    Please enter your name
    Please enter a valid email address
    Who would you like to send this to? *
    ×
  • Buy the print book

Book description

Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in particular the web ontology language OWL. Written by four renowned experts, this is the first textbook on description logics. It is suitable for self-study by graduates and as the basis for a university course. Starting from a basic DL, the book introduces the reader to their syntax, semantics, reasoning problems and model theory and discusses the computational complexity of these reasoning problems and algorithms to solve them. It then explores a variety of reasoning techniques, knowledge-based applications and tools and it describes the relationship between DLs and OWL.

Refine List
Actions for selected content:
Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Send to Kindle
  • Send to Dropbox
  • Send to Google Drive
  • Send content to

    To send content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to .

    To send content to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle.

    Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

    Find out more about the Kindle Personal Document Service.

    Please be advised that item(s) you selected are not available.
    You are about to send:
    ×

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
×
References
[AB09] Sanjeev Arora and Boaz Barak. Computational Complexity: A Modern Approach. Cambridge University Press, 2009.
[ABM99] Carlos Areces, Patrick Blackburn, and Maarten Marx. A road-map on complexity for hybrid logics. In Jörg Flum and Mario Rodríguez- Artalejo, editors, Proc. of the Annual Conf. of the Eur. Assoc. for Computer Science Logic (CSL-99), volume 1683 of Lecture Notes in Computer Science, pages 307–321. Springer, 1999.
[ACG+05] Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, and Riccardo Rosati. QuOnto: Querying ontologies. In Manuela M. Veloso and Subbarao Kambhampati, editors, Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI-05), pages 1670–1671. AAAI Press/The MIT Press, 2005.
[ACH12] Ana Armas Romero, Bernardo Cuenca Grau, and Ian Horrocks. MORe: Modular combination of OWL reasoners for ontology classification. In Philippe Cudré-Mauroux, Jeff Heflin, Evren Sirin, Tania Tudorache, Jérôme Euzenat, Manfred Hauswirth, Josiane Xavier Parreira, Jim Hendler, Guus Schreiber, Abraham Bernstein, and Eva Blomqvist, editors, Proc. of the 11th International Semantic Web Conference (ISWC- 12), volume 7649 of Lecture Notes in Computer Science, pages 1–16. Springer, 2012.
[ACKZ09] Alessandro Artale, Diego Calvanese, Roman Kontchakov, and Michael Zakharyaschev. The DL-Lite family and relations. J. of Artificial Intelligence Research, 36:1–69, 2009.
[ANvB98] Hajnal Andréka, István Németi, and Johan van Benthem. Modal languages and bounded fragments of predicate logic. J. Philosophical Logic, 27(3):217–274, 1998.
[Are00] Carlos Areces. Logic Engineering: The Case of Description and Hybrid Logics. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam, 2000. ILLC Dissertation Series 2000–5.
[Baa90] Franz Baader. Terminological cycles in KL-ONE-based knowledge representation languages. In Howard E. Shrobe, Thomas G. Dietterich, and William R. Swartout, editors, Proc. of the 8th Nat. Conf. on Artificial Intelligence (AAAI-90), pages 621–626. AAAI Press, 1990.
[Baa91] Franz Baader. Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In John Mylopoulos and Raymond Reiter, editors, Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI-91), pages 446–451. Morgan Kaufmann, Los Altos, 1991.
[Baa96] Franz Baader. Using automata theory for characterizing the semantics of terminological cycles. Ann. of Mathematics and Artificial Intelligence, 18:175–219, 1996.
[Baa03] Franz Baader. Terminological cycles in a description logic with existential restrictions. In Georg Gottlob and Toby Walsh, editors, Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI-03), pages 325–330. Morgan Kaufmann, Los Altos, 2003.
[BBL05] Franz Baader, Sebastian Brandt, and Carsten Lutz. Pushing the ℰL envelope. In Leslie Pack Kaelbling and Alessandro Saffiotti, editors, Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI-05), pages 364–369. Morgan Kaufmann, Los Altos, 2005.
[BBL08] Franz Baader, Sebastian Brandt, and Carsten Lutz. Pushing the EL envelope further. In Kendall Clark and Peter F. Patel-Schneider, editors, Proc. of OWL: Experiences and Directions 2008 DC, volume 496 of CEUR Workshop Proceedings (http://ceur-ws.org/), 2008.
[BCDG01] Daniela Berardi, Diego Calvanese, and Giuseppe De Giacomo. Reasoning on UML class diagrams using description logic based systems. In Günther Görz, Volker Haarslev, Carsten Lutz, and Ralf Möller, editors, Proc. of the KI-01 Workshop on Applications of Description Logics, volume 44 of CEUR Workshop Proceedings (http://ceur-ws.org/), 2001.
[BCM+07] Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2nd edition, 2007.
[BDNS98] Martin Buchheit, Francesco M. Donini, Werner Nutt, and Andrea Schaerf. A refined architecture for terminological systems: Terminology = schema + views. Artificial Intelligence, 99(2):209–260, 1998.
[BdRV01] Patrick Blackburn, Maarten de Rijke, and Yde Venema. Modal Logic, volume 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2001.
[BDS93] Martin Buchheit, Francesco M. Donini, and Andrea Schaerf. Decidable reasoning in terminological knowledge representation systems. J. of Artificial Intelligence Research, 1:109–138, 1993.
[BFH+92] Franz Baader, Enrico Franconi, Bernhard Hollunder, Bernhard Nebel, and Hans-Jürgen Profitlich. An empirical analysis of optimization techniques for terminological representation systems, or, making KRIS get a move on. In Bernhard Nebel, Charles Rich, and William R. Swartout, editors, Proc. of the 3rd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-92), pages 270–281. Morgan Kauffman, Los Altos, 1992.
[BFH+94] Franz Baader, Enrico Franconi, Bernhard Hollunder, Bernhard Nebel, and Hans-Jürgen 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.
[BFL83] Ronald J. Brachman, Richard E. Fikes, and Hector J. Levesque. KRYPTON: A functional approach to knowledge representation. IEEE Computer, October:67–73, 1983.
[BH91] Franz Baader and Philipp Hanschke. A schema for integrating concrete domains into concept languages. In John Mylopoulos and Raymond Reiter, editors, Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI-91), pages 452–457. Morgan Kaufmann, Los Altos, 1991.
[BK06] Franz Baader and Ralf Küsters. Nonstandard inferences in description logics: The story so far. In Dov Gabbay, Sergei Goncharov, and Michael Zakharyaschev, editors, Mathematical Problems from Applied Logic I, volume 4 of International Mathematical Series, pages 1–75. Springer, 2006.
[BKL+16] Elena Botoeva, Boris Konev, Carsten Lutz, Vladimir Ryzhikov, Frank Wolter, and Michael Zakharyaschev. Inseparability and conservative extensions of description logic ontologies: A survey. In Proc. of the 12th Int. Reasoning Web Summer School, Lecture Notes in Computer Science. Springer, 2016.
[BKM99] Franz Baader, Ralf Küsters, and Ralf Molitor. Computing least common subsumers in description logics with existential restrictions. In Thomas Dean, editor, Proc. of the 16th Int. Joint Conf. on Artificial Intelligence (IJCAI-99), pages 96–101. Morgan Kaufmann, Los Altos, 1999.
[BKO+11] Barry Bishop, Atanas Kiryakov, Damyan Ognyanoff, Ivan Peikov, Zdravko Tashev, and Ruslan Velkov. OWLIM: A family of scalable semantic repositories. J. of Web Semantics, 2(1):33–42, 2011.
[BL84] Ronald J. Brachman and Hector J. Levesque. The tractability of subsumption in frame-based description languages. In Ronald J. Brachman, editor, Proc. of the 4th Nat. Conf. on Artificial Intelligence (AAAI-84), pages 34–37. AAAI Press, 1984.
[BLMS11] Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, and Eric Salvat. On rules with existential variables: Walking the decidability line. Artificial Intelligence, 175(9-10):1620–1654, 2011.
[BLS06] Franz Baader, Carsten Lutz, and Boontawee Suntisrivaraporn. CEL: a polynomial-time reasoner for life science ontologies. In Ulrich Furbach and Natarajan Shankar, editors, Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR-06), volume 4130 of Lecture Notes in Artificial Intelligence, pages 287–291. Springer, 2006.
[BLW13] Meghyn Bienvenu, Carsten Lutz, and Frank Wolter. First-order rewritability of atomic queries in Horn description logics. In Francesca Rossi, editor, Proc. of the 23nd Int. Joint Conf. on Artificial Intelligence (IJCAI-13), pages 754–760. AAAI Press, 2013.
[BMG+15] Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Františsek Simančcík, and Ian Horrocks. Extending consequence-based reasoning to SHIQ. In Diego Calvanese and Boris Konev, editors, Proc. of the 2015 Description Logic Workshop (DL-15), volume 1350 of CEUR Workshop Proceedings (http://ceur-ws.org/), 2015.
[BMRT11] Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, and Michaël Thomazo. Walking the complexity lines for generalized guarded existential rules. In Toby Walsh, editor, Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI-11), pages 712–717. AAAI Press/IJCAI, 2011.
[BO15] Meghyn Bienvenu and Magdalena Ortiz. Ontology-mediated query answering with data-tractable description logics. In Wolfgang Faber and Adrian Paschke, editors, Proc. of the 11th Int. Reasoning Web Summer School, volume 9203 of Lecture Notes in Computer Science, pages 218– 307. Springer, 2015.
[Bor96] Alexander Borgida. On the relative expressiveness of description logics and predicate logics. Artificial Intelligence, 82(1–2):353–367, 1996.
[Bra92] Ronald J. Brachman. “Reducing” CLASSIC to practice: Knowledge representation meets reality. In Bernhard Nebel, Charles Rich, and William R. Swartout, editors, Proc. of the 3rd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-92), pages 247– 258. Morgan Kaufmann, Los Altos, 1992.
[Bra04] Sebastian Brandt. Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and—what else? In Ramon López de Mántaras and Lorenza Saitta, editors, Proc. of the 16th Eur. Conf. on Artificial Intelligence (ECAI-04), pages 298–302. IOS Press, 2004.
[BS85] Ronald J. Brachman and James G. Schmolze. An overview of the KLONE knowledge representation system. Cognitive Science, 9(2):171–216, 1985.
[BtCLW14] Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, and Frank Wolter. Ontology-based data access: A study through disjunctive datalog, CSP, and MMSNP. ACM Trans. on Database Systems, 39(4):33:1–33:44, 2014.
[Bv07] Patrick Blackburn and Johan van Benthem. Modal logic: A semantic perspective. In Patrick Blackburn, Johan van Benthem, and Frank Wolter, editors, The Handbook of Modal Logic, pages 1–84. Elsevier, 2007.
[CBV+14] Sofia Cramerotti, Marco Buccio, Giampiero Vaschetto, Luciano Serafini, and Marco Rospocher. ePlanning: An ontology-based system for building individualized education plans for students with special educational needs. In Axel Polleres, Alexander Garcia, and Richard Benjamins, editors, Proc. of the Industry Track at the 13th International Semantic Web Conference (ISWC-14), volume 1383 of CEUR Workshop Proceedings (http://ceur-ws.org/), 2014.
[CCD+13] Cristina Civili, Marco Console, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Lorenzo Lepore, Riccardo Mancini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Valerio Santarelli, and Domenico Fabio Savo. MASTRO STUDIO: Managing ontology-based data access applications. Proceedings of the VLDB Endowment, 6(12):1314–1317, 2013.
[CDGL98a] Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. On the decidability of query containment under constraints. In Alberto O. Mendelzon and Jan Paredaens, editors, Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS-98), pages 149–158. ACM, 1998.
[CDGL+98b] Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati. Description logic framework for information integration. In Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, editors, Proc. of the 6th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-98), pages 2–13. Morgan Kaufmann, Los Altos, 1998.
[CDGL99] Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. Modeling and querying semi-structured data. Network and Information Systems, 2(2), 1999.
[CDGR99] Diego Calvanese, Giuseppe De Giacomo, and Riccardo Rosati. Data integration and reconciliation in data warehousing: Conceptual modeling and reasoning support. Network and Information Systems, 2(4), 1999.
[CDL+07] Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning, 39(3):385–429, 2007.
[CDL08] Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. Conjunctive query containment and answering under description logic constraints. ACM Trans. on Computational Logic, 9(3), 2008.
[CDL+09] Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, and Riccardo Rosati. Ontologies and databases: The DL-Lite approach. In Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, and Renate A. Schmidt, editors, Proc. of the 5th Int. Reasoning Web Summer School, volume 5689 of Lecture Notes in Computer Science, pages 255–356. Springer, 2009.
[CDL+13] Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. Data complexity of query answering in description logics. Artificial Intelligence, 195:335–360, 2013.
[CGH+13] Pierre Chaussecourte, Birte Glimm, Ian Horrocks, Boris Motik, and Laurent Pierre. The energy management adviser at EDF. In Harith Alani, Lalana Kagal, Achille Fokoue, Paul Groth, Chris Biemann, Josiane Xavier Parreira, Lora Aroyo, Natasha Noy, Chris Welty, and Krzysztof Janowicz, editors, Proc. of the 12th International Semantic Web Conference (ISWC- 13), volume 8219 of Lecture Notes in Computer Science, pages 49–64. Springer, 2013.
[CGK13] Andrea Calì, Georg Gottlob, and Michael Kifer. Taming the infinite chase: Query answering under expressive relational constraints. J. of Artificial Intelligence Research, 48:115–174, 2013.
[CGL+05] Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. DL-Lite: Tractable description logics for ontologies. In Manuela M. Veloso and Subbarao Kambhampati, editors, Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI-05), pages 602–607. AAAI Press/The MIT Press, 2005.
[CGL12] Andrea Calì, Georg Gottlob, and Thomas Lukasiewicz. A general datalog-based framework for tractable query answering over ontologies. J. of Web Semantics, 14:57–83, 2012.
[CGP11] Andrea Calì, Georg Gottlob, and Andreas Pieris. New expressive languages for ontological query answering. In Wolfram Burgard and Dan Roth, editors, Proc. of the 25th Nat. Conf. on Artificial Intelligence (AAAI-12). AAAI Press/The MIT Press, 2011.
[Che76] Peter Pin-Shan Chen. The entity-relationship model: Toward a unified view of data. ACM Trans. on Database Systems, 1(1):9–36, 1976.
[CLN94] Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi. A unifying framework for class based representation formalisms. In Jon Doyle, Erik Sandewall, and Pietro Torasso, editors, Proc. of the 4th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-94), pages 109–120. Morgan Kaufmann, Los Altos, 1994.
[CLN98] Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi. Description logics for conceptual data modeling. In Jan Chomicki and Günter Saake, editors, Logics for Databases and Information Systems, pages 229–264. Kluwer Academic Publisher, 1998.
[CM77] Ashok K. Chandra and Philip M. Merlin. Optimal implementation of conjunctive queries in relational data bases. In John E. Hopcroft, Emily P. Friedman, and Michael A. Harrison, editors, Proc. of the 9th ACM Symp. on Theory of Computing (STOC-77), pages 77–90. ACM, 1977.
[CSG05] Werner Ceusters, Barry Smith, and Louis Goldberg. A terminological and ontological analysis of the NCI Thesaurus. Methods of Information in Medicine, 44(4):498–507, 2005.
[DBSB91] Premkumar Devambu, Ronald J. Brachman, Peter J. Selfridge, and Bruce W. Ballard. LASSIE: A knowledge-based software information system. Communications of the ACM, 34(5):36–49, 1991.
[DEGV01] Evgeny Dantsin, Thomas Eiter, Georg Gottlob, and Andrei Voronkov. Complexity and expressive power of logic programming. ACM Computing Surveys, 33(3):374–425, 2001.
[DeRP06] Sebastian Derriere, André Richard, and Andrea Preite-Martinez. An ontology of astronomical object types for the virtual observatory. Proc. of Special Session 3 of the 26th meeting of the IAU: Virtual Observatory in Action: New Science, New Technology, and Next Generation Facilities, 2006.
[DGL94a] Giuseppe De Giacomo and Maurizio Lenzerini. Boosting the correspondence between description logics and propositional dynamic logics. In Proc. of the 12th Nat. Conf. on Artificial Intelligence (AAAI-94), pages 205–212. AAAI Press/The MIT Press, 1994.
[DGL94b] Giuseppe De Giacomo and Maurizio Lenzerini. Concept language with number restrictions and fixpoints, and its relationship with μ- calculus. In Proc. of the 11th Eur. Conf. on Artificial Intelligence (ECAI- 94), pages 411–415. John Wiley & Sons, 1994.
[DGM00] Giuseppe De Giacomo and Fabio Massacci. Combining deduction and model checking into tableaux and algorithms for converse-pdl. Information and Computation, 160(1–2), 2000.
[DHL+92] Francesco M. Donini, Bernhard Hollunder, Maurizio Lenzerini, Alberto Marchetti Spaccamela, Daniele Nardi, and Werner Nutt. The complexity of existential quantification in concept languages. Artificial Intelligence, 53(2–3):309–327, 1992.
[DLNN91a] Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Werner Nutt. The complexity of concept languages. In James Allen, Richard Fikes, and Erik Sandewall, editors, Proc. of the 2nd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-91), pages 151–162. Morgan Kaufmann, Los Altos, 1991.
[DLNN91b] Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Werner Nutt. Tractable concept languages. In John Mylopoulos and Ray Reiter, editors, Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI-91), pages 458–463. Morgan Kaufmann, Los Altos, 1991.
[DLNS94] Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf. Deduction in concept languages: From subsumption to instance checking. J. of Logic and Computation, 4(4):423–452, 1994.
[DLNS98] Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf. AL-log: Integrating Datalog and description logics. J. of Intelligent Information Systems, 10(3):227–252, 1998.
[DNR08] Alin Deutsch, Alan Nash, and Jeffrey B. Remmel. The chase revisited. In Maurizio Lenzerini and Domenico Lembo, editors, Proc. of the 27th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS-08), pages 149–158. AAAI Press, 2008.
[dR00] Maarten de Rijke. A note on graded modal logic. Studia Logica, 64(2):271–283, 2000.
[EGOS08] Thomas Eiter, Georg Gottlob, Magdalena Ortiz, and Mantas Simkus. Query answering in the description logic Horn-SHIQ . In Steffen Hölldobler, Carsten Lutz, and Heinrich Wansing, editors, Proc. of the 11th Eur. Workshop on Logics in Artificial Intelligence (JELIA-08), volume 5293 of Lecture Notes in Computer Science, pages 166–179. Springer, 2008.
[ELOS09] Thomas Eiter, Carsten Lutz, Magdalena Ortiz, and Mantas Simkus. Query answering in description logics with transitive roles. In Craig Boutilier, editor, Proc. of the 21st Int. Joint Conf. on Artificial Intelligence (IJCAI-09), pages 759–764. AAAI Press/IJCAI, 2009.
[FL79] Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs. J. of Computer and System Sciences, 18:194–211, 1979.
[GG00] M. Elisabeth Gonçalvès and Erich Grädel. Decidability issues for action guarded logics. In Proc. of the 2000 Description Logic Workshop (DL- 00), volume 33 of CEUR Workshop Proceedings (http://ceur-ws.org/), pages 123–132, 2000.
[GHH+07] Christine Golbreich, Matthew Horridge, Ian Horrocks, Boris Motik, and Rob Shearer. OBO and OWL: Leveraging semantic web technologies for the life sciences. In Proc. of the 6th International Semantic Web Conference (ISWC-07), volume 4825 of Lecture Notes in Computer Science, pages 169–182. Springer, 2007.
[GHKS08] Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler. Modular reuse of ontologies: Theory and practice. J. of Artificial Intelligence Research, 31:273–318, 2008.
[GHM10] Birte Glimm, Ian Horrocks, and Boris Motik. Optimized description logic reasoning via core blocking. In Jürgen Giesl and Reiner Hähnle, editors, Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR- 10), volume 6173 of Lecture Notes in Artificial Intelligence, pages 457– 471. Springer, 2010.
[GHM+12] Birte Glimm, Ian Horrocks, Boris Motik, Rob Shearer, and Giorgos Stoilos. A novel approach to ontology classification. J. of Web Semantics, 14:84–101, 2012.
[GHM+14] Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, and Zhe Wang. Hermit: An OWL 2 reasoner. J. of Automated Reasoning, 53(3):245–269, 2014.
[GHVD03] Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker. Description logic programs: Combining logic programs with description logic. In Proc. of the Twelfth International World Wide Web Conference (WWW-03), pages 48–57. ACM, 2003.
[GKK+14] Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Thomas Schwentick, and Michael Zakharyaschev. The price of query rewriting in ontology-based data access. Artificial Intelligence, 213:42–59, 2014.
[GKV97] Erich Grädel, Phokion G. Kolaitis, and Moshe Y. Vardi. On the decision problem for two-variable first-order logic. Bulletin of Symbolic Logic, 3(1):53–69, 1997.
[GLHS08] Birte Glimm, Carsten Lutz, Ian Horrocks, and Ulrike Sattler. Conjunctive query answering for the description logic SHIQ . J. of Artificial Intelligence Research, 31:157–204, 2008.
[GLW06] Silvio Ghilardi, Carsten Lutz, and Frank Wolter. Did I damage my ontology? A case for conservative extensions in description logics. In Patrick Doherty, John Mylopoulos, and Christopher A. Welty, editors, Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-06), pages 187–197. AAAI Press, 2006.
[GMSH13] Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, and Ian Horrocks. Computing datalog rewritings beyond Horn ontologies. In Francesca Rossi, editor, Proc. of the 23nd Int. Joint Conf. on Artificial Intelligence (IJCAI-13), pages 832–838. AAAI Press/IJCAI, 2013.
[GN13] Rajeev Goré and Linh Anh Nguyen. ExpTime tableaux for ALC using sound global caching. J. of Automated Reasoning, 50(4):355–381, 2013.
[GO07] Valentin Goranko and Martin Otto. Model theory of modal logic. In Patrick Blackburn, Johan van Benthem, and Frank Wolter, editors, The Handbook of Modal Logic, pages 249–329. Elsevier Science Publishers (North-Holland), 2007.
[Goo05] John Goodwin. Experiences of using OWL at the ordnance survey. In Proc. of the First OWL Experiences and Directions Workshop (OWLED-05), volume 188 of CEUR Workshop Proceedings (http: //ceur-ws.org/), 2005.
[GOR97] Erich Grädel, Martin Otto, and Eric Rosen. Two-variable logic with counting is decidable. In Proc. of the 12th IEEE Symp. on Logic in Computer Science (LICS-97), pages 306–317. IEEE Computer Society Press, 1997.
[Grä98] Erich Grädel. Guarded fragments of first-order logic: A perspective for new description logics? In Proc. of the 1998 Description Logic Workshop (DL-98), volume 11 of CEUR Workshop Proceedings (http://ceur-ws. org/), 1998.
[Grä99] Erich Grädel. On the restraining power of guards. J. of Symbolic Logic, 64:1719–1742, 1999.
[Gru93] Thomas R. Gruber. A translation approach to portable ontology specifications. Knowledge Acquisition, 5(2):199–220, 1993.
[GZB06] Christine Golbreich, Songman Zhang, and Olivier Bodenreider. The foundational model of anatomy in OWL: Experience and perspectives. J. of Web Semantics, 4(3), 2006.
[Hal01] Alon Y. Halevy. Answering queries using views: A survey. VLDB J. , 10(4), 270–294, 2001.
[HB91] Bernhard Hollunder and Franz Baader. Qualifying number restrictions in concept languages. In Proc. of the 2nd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-91), pages 335–346. Morgan Kauffman, Los Altos, 1991.
[HdD+05] Frank W. Hartel, Sherri de Coronado, Robert Dionne, Gilberto Fragoso, and Jennifer Golbeck. Modeling a description logic vocabulary for cancer research. J. of Biomedical Informatics, 38(2):114–129, 2005.
[HDG12] Robert Hoehndorf, Michel Dumontier, and Georgios V. Gkoutos. Evaluation of research in biomedical ontologies. Briefings in Bioinformatics, 14(6):696–712, 2012.
[HKS06] Ian Horrocks, Oliver Kutz, and Ulrike Sattler. The even more irresistible SROIQ . In Patrick Doherty, John Mylopoulos, and Christopher A. Welty, editors, Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-06), pages 57–67. AAAI Press, 2006.
[HLSW15] Peter Hansen, Carsten Lutz, Inanc Seylan, and Frank Wolter. Efficient query rewriting in the description logic EL and beyond. In Qiang Yang and Michael Wooldridge, editors, Proc. of the 24th Int. Joint Conf. on Artificial Intelligence (IJCAI-15), pages 3034–3040. AAAI Press, 2015.
[HM92] Joseph Y. Halpern and Yoram Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319–379, 1992.
[HM01] Volker Haarslev and Ralf Möller. RACER system description. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR-01), volume 2083 of Lecture Notes in Artificial Intelligence, pages 701–706. Springer, 2001.
[HMS07] Ullrich Hustadt, Boris Motik, and Ulrike Sattler. Reasoning in description logics by a reduction to disjunctive datalog. J. of Automated Reasoning, 39(3):351–384, 2007.
[Hod93] Wilfried Hodges. Model Theory. Cambridge University Press, 1993.
[Hof05] Martin Hofmann. Proof-theoretic approach to description-logic. In Prakash Panangaden, editor, Proc. of the 20th IEEE Symp. on Logic in Computer Science (LICS-05), pages 229–237. IEEE Computer Society Press, 2005.
[Hor97] Ian Horrocks. Optimisation techniques for expressive description logics. Technical Report UMCS-97-2-1, University of Manchester, Department of Computer Science, 1997.
[Hor08] Ian Horrocks. Ontologies and the semantic web. Communications of the ACM, 51(12):58–67, 2008.
[HPS98] Ian Horrocks and Peter F. Patel-Schneider. Optimising propositional modal satisfiability for description logic subsumption. In Jacques Calmet and Jan A. Plaza, editors, Proc. of the 4th Int. Conf. on Artificial Intelligence and Symbolic Computation (AISC'98), volume 1476 of Lecture Notes in Computer Science, pages 234–246. Springer, 1998.
[HPS09] Matthew Horridge, Bijan Parsia, and Ulrike Sattler. Explaining inconsistencies in OWL ontologies. In Lluis Godo and Andrea Pugliese, editors, Proc. of the 3rd Int. Conf. on Scalable Uncertainty Management (SUM-09), volume 5785 of Lecture Notes in Computer Science, pages 124–137. Springer, 2009.
[HPSvH03] Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. J. of Web Semantics, 1(1):7–26, 2003.
[HS99] Ian Horrocks and Ulrike Sattler. A description logic with transitive and inverse roles and role hierarchies. J. of Logic and Computation, 9(3):385– 410, 1999.
[HS01] Ian Horrocks and Ulrike Sattler. Ontology reasoning in the SHOQ(D) description logic. In Bernhard Nebel, editor, Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI-01), pages 199–204. Morgan Kaufmann, Los Altos, 2001.
[HS02] Ian Horrocks and Ulrike Sattler. Optimised reasoning for SHIQ . In Frank van Harmelen, editor, Proc. of the 15th Eur. Conf. on Artificial Intelligence (ECAI-02), pages 277–281. IOS Press, 2002.
[HS04] Ian Horrocks and Ulrike Sattler. Decidability of SHIQ with complex role inclusion axioms. Artificial Intelligence, 160(1–2):79–104, 2004.
[HS12] Jörg Hoffmann and Bart Selman, editors. Proc. of the 26th Nat. Conf. on Artificial Intelligence (AAAI-12). AAAI Press/The MIT Press, 2012.
[HST99] Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Practical reasoning for expressive description logics. In Harald Ganzinger, David McAllester, and Andrei Voronkov, editors, Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR-99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161–180. Springer, 1999.
[HST00] Ian Horrocks, Ulrike Sattler, and Stefan Tobies. Practical reasoning for very expressive description logics. J. of the Interest Group in Pure and Applied Logic, 8(3):239–264, 2000.
[HSTT00] Ian Horrocks, Ulrike Sattler, Sergio Tessaris, and Stephan Tobies. How to decide query containment under constraints using a description logic. In Michel Parigot and Andrei Voronkov, editors, Proc. of the 7th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR-00), volume 1955 of Lecture Notes in Artificial Intelligence, pages 326–343. Springer, 2000.
[HT00] Ian Horrocks and Sergio Tessaris. A conjunctive query language for description logic ABoxes. In Henry A. Kautz and Bruce W. Porter, editors, Proc. of the 17th Nat. Conf. on Artificial Intelligence (AAAI-00), pages 399–404. AAAI Press/The MIT Press, 2000.
[JGS+08] Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, and Rafael Berlanga Llavori. Safe and economic reuse of ontologies: A logic-based methodology and tool support. In Sean Bechhofer, Manfred Hauswirth, Jörg Hoffmann, and Manolis Koubarakis, editors, Proc. of the 5th European Semantic Web Conf. (ESWC-08), volume 5021 of Lecture Notes in Computer Science, pages 185–199. Springer, 2008.
[JRCHB11] Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, and Rafael Berlanga Llavori. Supporting concurrent ontology development: Framework, algorithms and tool. Data and Knowledge Engineering, 70(1):146–164, 2011.
[JRCZH12] Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Yujiao Zhou, and Ian Horrocks. Large-scale interactive ontology matching: Algorithms and implementation. In Luc De Raedt, Christian Bessière, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, and Peter J. F. Lucas, editors, Proc. of the 20th Eur. Conf. on Artificial Intelligence (ECAI-12), pages 444–449. IOS Press, 2012.
[Kaz08] Yevgeny Kazakov. RIQ and SROIQ are harder than SHOIQ . In Proc. of the 11th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-08), pages 274–284. AAAI Press, 2008.
[Kaz09] Yevgeny Kazakov. Consequence-driven reasoning for Horn SHIQ ontologies. In Craig Boutilier, editor, Proc. of the 21st Int. Joint Conf. on Artificial Intelligence (IJCAI-09), pages 2040–2045. AAAI Press, 2009.
[Kd99] Natasha Kurtonina and Maarten de Rijke. Expressiveness of concept expressions in first-order description. Artificial Intelligence, 107(2):303– 333, 1999.
[KdN03] Yevgeny Kazakov and Hans de Nivelle. Subsumption of concepts in FL0 for (cyclic) terminologies with respect to descriptive semantics is PSPACE-complete. In Proc. of the 2003 Description Logic Workshop (DL-03), volume 81 of CEUR Workshop Proceedings (http://ceur-ws. org/), 2003.
[KdR97] Natasha Kurtonina and Maarten de Rijke. Simulating without nega tion. J. of Logic and Computation, 7(4):501–522, 1997.
[KFNM04] Holger Knublauch, Ray Fergerson, Natalya Noy, and Mark 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, Proc. of the 3rd International Semantic Web Conference (ISWC-04), number 3298 in Lecture Notes in Computer Science, pages 229–243. Springer, 2004.
[KFP+06] Aaron Kershenbaum, Achille Fokoue, Chintan Patel, Christopher Welty, Edith Schonberg, James Cimino, Li Ma, Kavitha Srinivas, Robert Schloss, and J William Murdock. A view of OWL from the field: Use cases and experiences. In Proc. of the Second OWL Experiences and Directions Workshop (OWLED-06), volume 216 of CEUR Workshop Proceedings (http://ceur-ws.org/), 2006.
[KHJ+15a] Evgeny Kharlamov, Dag Hovland, Ernesto Jiménez-Ruiz, Davide Lanti, Christoph Pinkel, Martin Rezk, Martin G. Skjaveland, Evgenij Thorstensen, Guohui Xiao, Dmitriy Zheleznyakov, Eldar Bjorge, and Ian Horrocks. Ontology based access to exploration data at Statoil. In Proc. of the 14th International Semantic Web Conference (ISWC-15), volume 9367 of Lecture Notes in Computer Science, pages 93–112. Springer, 2015.
[KHJ+15b] Adila Krisnadhi, Yingjie Hu, Krzysztof Janowicz, Pascal Hitzler, Robert A. Arko, Suzanne Carbotte, Cynthia Chandler, Michelle Cheatham, Douglas Fils, Timothy W. Finin, Peng Ji, Matthew B. Jones, Nazifa Karima, Kerstin A. Lehnert, Audrey Mickle, Thomas W. Narock, Margaret O'Brien, Lisa Raymond, Adam Shepherd, Mark Schildhauer, and Peter Wiebe. The GeoLink modular oceanography ontology. In Marcelo Arenas, Oscar Corcho, Elena Simperl, Markus Strohmaier, Mathieu d'Aquin, Kavitha Srinivas, Paul Groth, Michel Dumontier, Jeff Heflin, Krishnaprasad Thirunarayan, Krishnaprasad Thirunarayan, and Steffen Staab, editors, Proc. of the 14th International Semantic Web Conference (ISWC-15), volume 9367 of Lecture Notes in Computer Science, pages 301–309. Springer, 2015.
[KKS11] Yevgeny Kazakov, Markus Krötzsch, and Františsek Simančcík. Concurrent classification of EL ontologies. In Lora Aroyo, Chris Welty, Harith Alani, Jamie Taylor, Abraham Bernstein, Lalana Kagal, Natasha Fridman Noy, and Eva Blomqvist, editors, Proc. of the 10th International Semantic Web Conference (ISWC-11), volume 7031 of Lecture Notes in Computer Science, pages 305–320. Springer, 2011.
[KKS14] Yevgeny Kazakov, Markus Krötzsch, and Františsek Simančcík. The incredible ELK – from polynomial procedures to efficient reasoning with EL ontologies. J. of Automated Reasoning, 53(1):1–61, 2014.
[KL07] Adila Krisnadhi and Carsten Lutz. Data complexity in the EL family of description logics. In Nachum Dershowitz and Andrei Voronkov, editors, Proc. of the 14th Int. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-07), volume 4790 of Lecture Notes in Artificial Intelligence, pages 333–347. Springer, 2007.
[KLT+10] Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, and Michael Zakharyaschev. The combined approach to query answering in DL-Lite. In Fangzhen Lin, Ulrike Sattler, and Miroslaw Truszczynski, editors, Proc. of the 12th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-10), pages 247–257. AAAI Press, 2010.
[KRH07] Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler. Conjunctive queries for a tractable fragment of OWL 1.1. In Karl Aberer, Key- Sun Choi, Natasha Fridman Noy, Dean Allemang, Kyung-Il Lee, Lyndon J. B. Nixon, Jennifer Golbeck, Peter Mika, Diana Maynard, Riichiro Mizoguchi, Guus Schreiber, and Philippe Cudré-Mauroux, editors, Proc. of the 6th International Semantic Web Conference (ISWC-07), volume 4825 of Lecture Notes in Computer Science, pages 310–323. Springer, 2007.
[KRR+14] Roman Kontchakov, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao, and Michael Zakharyaschev. Answering SPARQL queries over databases under OWL 2 QL entailment regime. In Peter Mika, Tania Tudorache, Abraham Bernstein, Chris Welty, Craig A. Knoblock, Denny Vrandecic, Paul T. Groth, Natasha F. Noy, Krzysztof Janowicz, and Carole A. Goble, editors, Proc. of the 13th International Semantic Web Conference (ISWC-14), volume 8796 of Lecture Notes in Computer Science, pages 552–567. Springer, 2014.
[KWW08] Boris Konev, Dirk Walther, and Frank Wolter. The logical difference problem for description logic terminologies. In Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors, Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR-08), volume 5195 of Lecture Notes in Computer Science, pages 259–274. Springer, 2008.
[KZ14] Roman Kontchakov and Michael Zakharyaschev. An introduction to description logics and query rewriting. In Manolis Koubarakis, Giorgos B. Stamou, Giorgos Stoilos, Ian Horrocks, Phokion G. Kolaitis, Georg Lausen, and Gerhard Weikum, editors, Proc. of the 10th Int. Reasoning Web Summer School, volume 8714 of Lecture Notes in Computer Science, pages 195–244. Springer, 2014.
[Lad77] Richard E. Ladner. The computational complexity of provability in systems of modal propositional logic. SIAM J. on Computing, 6(3):467– 480, 1977.
[LAF+05] Lee Lacy, Gabriel Aviles, Karen Fraser, William Gerber, Alice Mulvehill, and Robert Gaskill. Experiences using OWL in military applications. In Proc. of the First OWL Experiences and Directions Workshop (OWLED-05), volume 188 of CEUR Workshop Proceedings (http://ceur-ws.org/), 2005.
[LAHS04] Carsten Lutz, Carlos Areces, Ian Horrocks, and Ulrike Sattler. Keys, nominals, and concrete domains. J. of Artificial Intelligence Research, 23:667–726, 2004.
[LB10] Michael Lawley and Cyril Bousquet. Fast classification in Protégé: Snorocket as an OWL 2 EL reasoner. In T. Meyer, M.A. Orgun, and K. Taylor, editors, Australasian Ontology Workshop 2010 (AOW 2010): Advances in Ontologies, volume 122 of CRPIT , pages 45–50. ACS, 2010.
[Len02] Maurizio Lenzerini. Data Integration: A Theoretical Perspective. In Lucian Popa, Serge Abiteboul and Phokion G. Kolaitis, editors, Proc. of the 21st ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems (PODS-02), pages 233–246. ACM, 2002.
[Lib04] Leonid Libkin. Elements of Finite Model Theory. Texts in Theoretical Computer Science. An EATCS series. Springer, 2004.
[LPW11] Carsten Lutz, Robert Piro, and Frank Wolter. Description logic TBoxes: Model-theoretic characterizations and rewritability. In Toby Walsh, editor, Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI-11), pages 983–988. IJCAI/AAAI, 1.
[LR96] Alon Y. Levy and Marie-Christine Rousset. CARIN: A representa tion language combining Horn rules and description logics. In Wolfgang Wahlster, editor, Proc. of the 12th Eur. Conf. on Artificial Intelligence (ECAI-96), pages 323–327. John Wiley & Sons, 1996.
[LR98] Alon Y. Levy and Marie-Christine Rousset. Verification of knowledge bases based on containment checking. Artificial Intelligence, 101(1-2):227–250, 1998.
[LS08] Thomas Lukasiewicz and Umberto Straccia. Managing uncertainty and vagueness in description logics for the semantic web. J. of Web Semantics, 6(4):291–308, 2008.
[LSW01] Carsten Lutz, Ulrike Sattler, and Frank Wolter. Description logics and the two-variable fragment. In Carole A. Goble, Deborah L. McGuinness, Ralf Möller, and Peter F. Patel-Schneider, editors, Proc. of the 2001 Description Logic Workshop (DL-01), volume 49 of CEUR Workshop Proceedings (http://ceur-ws.org/), 2001.
[LTW09] Carsten Lutz, David Toman, and Frank Wolter. Conjunctive query answering in the description logic EL using a relational database system. In Craig Boutilier, editor, Proc. of the 21st Int. Joint Conf. on Artificial Intelligence (IJCAI-09), pages 2070–2075. AAAI Press/IJCAI, 2009.
[Lut99] Carsten Lutz. Complexity of terminological reasoning revisited. In Harald Ganzinger, David A. McAllester, and Andrei Voronkov, editors, Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR-99), volume 1705 of Lecture Notes in Artificial Intelligence, pages 181–200. Springer, 1999.
[Lut02] Carsten Lutz. The Complexity of Description Logics with Concrete Domains. PhD thesis, RWTH Aachen, Germany, 2002.
[Lut08] Carsten Lutz. The complexity of conjunctive query answering in expressive description logics. In Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors, Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR-08), volume 5195 of Lecture Notes in Computer Science, pages 179–193. Springer, 2008.
[LW12] Carsten Lutz and Frank Wolter. Non-uniform data complexity of query answering in description logics. In Gerhard Brewka, Thomas Eiter, and Sheila A. McIlraith, editors, Proc. of the 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-12), pages 247–257. AAAI Press, 2012.
[LWZ08] Carsten Lutz, Frank Wolter, and Michael Zakharyaschev. Temporal description logics: A survey. In Stéphane Demri and Christian S. Jensen, editors, Proc. of the 15th Int. Symp. on Temporal Representation and Reasoning (TIME-08), pages 3–14. IEEE Computer Society Press, 2008.
[Mac91a] Robert MacGregor. The evolving technology of classification-based knowledge representation systems. In John F. Sowa, editor, Principles of Semantic Networks, pages 385–400. Morgan Kaufmann, Los Altos, 1991.
[Mac91b] Robert MacGregor. Inside the LOOM description classifier. SIGARTBull., 2(3):88–92, 1991.
[MAHP11] Alejandro Mallea, Marcelo Arenas, Aidan Hogan, and Axel Polleres. On blank nodes. In Proc. of the 10th International Semantic Web Conference (ISWC-11), volume 7031 of Lecture Notes in Computer Science, pages 421–437. Springer, 2011.
[MDW91] Eric Mays, Robert Dionne, and Robert Weida. K-REP system overview. SIGART Bull., 2(3), 1991.
[MH08] Boris Motik and Ian Horrocks. OWL datatypes: Design and imple mentation. In Proc. of the 7th International Semantic Web Conference (ISWC-08), volume 5318 of Lecture Notes in Computer Science, pages 307–322. Springer, 2008.
[MJL13] Alejandro Metke-Jimenez and Michael Lawley. Snorocket 2.0: Concrete domains and concurrent classification. In Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), volume 1015 of CEUR Workshop Proceedings (http://ceur-ws.org/), pages 32–38, 2013.
[MNP+14] Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, and Dan Olteanu. Parallel materialisation of Datalog programs in centralised, main-memory RDF systems. In Carla E. Brodley and Peter Stone, editors, Proc. of the 28th Nat. Conf. on Artificial Intelligence (AAAI-14), pages 129–137. AAAI Press, 2014.
[Mot07] Boris Motik. On the Properties of Metamodeling in OWL. J. of Logic and Computation, 17(4):617–637, 2007.
[MSH09] Boris Motik, Rob Shearer, and Ian Horrocks. Hypertableau reasoning for description logics. J. of Artificial Intelligence Research, 36:165–228, 2009.
[MW98] Deborah McGuinness and Jon R. Wright. Conceptual modelling for configuration: A description logic-based approach. Artificial Intelligence for Engineering Design, Analysis, and Manufacturing J. – Special Issue on Configuration, 12:333–344, 1998.
[Neb90a] Bernhard Nebel. Reasoning and Revision in Hybrid Representation Systems, volume 422 of Lecture Notes in Artificial Intelligence. Springer, 1990.
[Neb90b] Bernhard Nebel. Terminological reasoning is inherently intractable. Artificial Intelligence, 43:235–249, 1990.
[NOS16] Nhung Ngo, Magdalena Ortiz, and Mantas Simkus. Closed predicates in description logics: Results on combined complexity. In Chitta Baral, James Delgrande, and Frank Wolter, editors, Proc. of the 15th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-16), pages 237–246. AAAI Press, 2016.
[OCE08] Magdalena Ortiz, Diego Calvanese, and Thomas Eiter. Data complexity of query answering in expressive description logics via tableaux. J. of Automated Reasoning, 41(1):61–98, 2008.
[ORS11] Magdalena Ortiz, Sebastian Rudolph, and Mantas Simkus. Query answering in the Horn fragments of the description logics SHOIQ and SROIQ . In Toby Walsh, editor, Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI-11), pages 1039–1044. AAAI Press/IJCAI, 2011.
[OSRM+12] David Osumi-Sutherland, Simon Reeve, Christopher J. Mungall, Fabian Neuhaus, Alan Ruttenberg, Gregory S.X.E. Jefferis, and J. Douglas Armstrong. A strategy for building neuroanatomy ontologies. Bioinformatics, 28(9):1262–1269, 2012.
[OWL12a] OWL 2 Web Ontology Language Mapping to RDF Graphs (Second Edition). W3C Recommendation, 2012. Available at http://www.w3.org/TR/owl2-mapping-to-rdf/.
[OWL12b] OWL 2 Web Ontology Language Profiles (Second Edition). W3C Recommendation, 2012. Available at http://www.w3.org/TR/owl2-profiles/.
[OWL12c] OWL 2 Web Ontology Language Structural Specification and Functional-style Syntax (Second Edition). W3C Recommendation, 2012. Available at http://www.w3.org/TR/owl2-syntax/.
[Pap94] Christos H. Papadimitriou. Computational Complexity. Addison Wesley, 1994.
[Pel91] Christof Peltason. The BACK system: An overview. SIGART Bull., 2(3):114–119, 1991.
[Pra79] Vaugham R. Pratt. Models of program logic. In Proc. of the 20th Annual Symp. on the Foundations of Computer Science (FOCS-79), pages 115–122. IEEE Computer Society, 1979.
[Pra09] Ian Pratt-Hartmann. Data-complexity of the two-variable fragment with counting quantifiers. Information and Computation, 207(8):867–888, 2009.
[PS89] Peter F. Patel-Schneider. Undecidability of subsumption in NIKL. Artificial Intelligence, 39:263–272, 1989.
[PSMB+91] Peter F. Patel-Schneider, Deborah L. McGuiness, Ronald J. Brachman, Lori A. Resnick, and Alexander Borgida. The CLASSIC knowledge representation system: Guiding principles and implementation rational. SIGART Bull., 2(3):108–113, 1991.
[PST97] Leszek Pacholski, Wieslaw Szwast, and Lidia Tendera. Complexity of two-variable logic with counting. In Proc. of the 12th IEEE Symp. on Logic in Computer Science (LICS-97), pages 318–327. IEEE Computer Society Press, 1997.
[PST00] Leszek Pacholski, Wiesław Szwast, and Lidia Tendera. Complexity results for first-order two-variable logic with counting. SIAM J. on Computing, 29(4):1083–1117, 2000.
[PUMH10] Héctor Pérez-Urbina, Boris Motik, and Ian Horrocks. Tractable query answering and rewriting under description logic constraints. J. of Applied Logic, 8(2):186–209, 2010.
[RB11] Peter N. Robinson and Sebastian Bauer. Introduction to Bio- Ontologies. CRC Press, 2011.
[RFC05] RFC 3987: Internationalized Resource Identifiers (IRIs). Internet Engineering Task Force (IETF) Request For Comments (RFC), 2005. Available at http://www.ietf.org/rfc/rfc3987.txt.
[RKZ13] Mariano Rodriguez-Muro, Roman Kontchakov, and Michael Zakharyaschev. Ontology-based data access: Ontop of databases. In Harith Alani, Lalana Kagal, Achille Fokoue, Paul T. Groth, Chris Biemann, Josiane Xavier Parreira, Lora Aroyo, Natasha F. Noy, Chris Welty, and Krzysztof Janowicz, editors, Proc. of the 12th International Semantic Web Conference (ISWC-13), volume 8218 of Lecture Notes in Computer Science, pages 558–573. Springer, 2013.
[Ros07a] Riccardo Rosati. The limits of querying ontologies. In Thomas Schwentick and Dan Suciu, editors, Proc. of the 11th Int. Conf. on Database Theory (ICDT-07), volume 4353 of Lecture Notes in Computer Science, pages 164–178. Springer, 2007.
[Ros07b] Riccardo Rosati. On conjunctive query answering in EL. In Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, and Sergio Tessaris, editors, Proc. of the 2007 Description Logic Workshop (DL-07), volume 250 of CEUR Workshop Proceedings (http://ceur-ws.org/), 2007.
[RP05] Robert G. Raskin and Michael J. Pan. Knowledge representation in the semantic web for earth and environmental terminology (SWEET). Computers & Geosciences, 31(9):1119–1125, 2005.
[RR06] Alan Rector and Jeremy Rogers. Ontological and practical issues in using a description logic to represent medical concept systems: Experience from GALEN. In Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, and Ulrike Sattler, editors, Proc. of the 2nd Int. Reasoning Web Summer School, volume 4126 of Lecture Notes in Computer Science, pages 197–231. Springer, 2006.
[RRL05] Alan Ruttenberg, Jonathan Rees, and Joanne Luciano. Experience using OWL DL for the exchange of biological pathway information. In Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, and Peter Patel- Schneider, editors, Proc. of the First OWL Experiences and Directions Workshop (OWLED-05), volume 188 of CEUR Workshop Proceedings (http://ceur-ws.org/), 2005.
[SC79] Larry J. Stockmeyer and Ashok K. Chandra. Provably difficult combinatorial games. SIAM J. on Computing, 8(2):151–174, 1979.
[Sch78] Thomas J. Schaefer. On the complexity of some two-person perfectinformation games. J. of Computer and System Sciences, 16(2):185–225, 1978.
[Sch89] Manfred Schmidt-Schaus. Subsumption in KL-ONE is undecidable. In Ron J. Brachman, Hector J. Levesque, and Ray Reiter, editors, Proc. of the 1st Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-89), pages 421–431. Morgan Kaufmann, Los Altos, 1989.
[Sch91] Klaus Schild. A correspondence theory for terminological logics: Preliminary report. In John Mylopoulos and Ray Reiter, editors, Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI-91), pages 466–471. Morgan Kaufmann, Los Altos, 1991.
[Sch94] Klaus Schild. Terminological cycles and the propositional μ-calculus. In Jon Doyle, Erik Sandewall, and Pietro Torasso, editors, Proc. of the 4th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-94), pages 509–520. Morgan Kaufmann, Los Altos, 1994.
[Sch95] Klaus Schild. Querying Knowledge and Data Bases by a Universal Description Logic with Recursion. PhD thesis, Universität des Saarlandes, Germany, 1995.
[Sip97] Michael Sipser. Introduction to the Theory of Computation. PWS Publishing Company, 1997.
[SKH11] Františsek Simančcík, Yevgeny Kazakov, and Ian Horrocks. Consequence-based reasoning beyond Horn ontologies. In Toby Walsh, editor, Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI-11), pages 1093–1098. AAAI Press/IJCAI, 2011.
[SLG14] Andreas Steigmiller, Thorsten Liebig, and Birte Glimm. Konclude: System description. J. of Web Semantics, 27(1):78–85, 2014.
[SLH13] Martin G. Skjaveland, Espen H. Lian, and Ian Horrocks. Publishing the Norwegian Petroleum Directorate's FactPages as semantic web data. In Harith Alani, Lalana Kagal, Achille Fokoue, Paul Groth, Chris Biemann, Josiane Xavier Parreira, Lora Aroyo, Natasha Noy, Chris Welty, and Krzysztof Janowicz, editors, Proc. of the 12th International Semantic Web Conference (ISWC-13), volume 8219 of Lecture Notes in Computer Science, pages 162–177. Springer, 2013.
[SLL+04] Dagobert Soergel, Boris Lauser, Anita Liang, Frehiwot Fisseha, Johannes Keizer, and Stephen Katz. Reengineering thesauri for new applications: The AGROVOC example. J. of Digital Information, 4(4), 2004.
[SM73] Larry J. Stockmeyer and Albert R. Meyer. Word problems requiring exponential time: Preliminary report. In Proc. of the 5th ACM Symp. on Theory of Computing (STOC-73), pages 1–9. ACM, 1973.
[SM15] Giorgio Stefanoni and Boris Motik. Answering conjunctive queries over EL knowledge bases with transitive and reflexive roles. In Blai Bonet and Sven Koenig, editors, Proc. of the 29th Nat. Conf. on Artificial Intelligence (AAAI-15), pages 1611–1617. AAAI Press/The MIT Press, 2015.
[SMH13] Giorgio Stefanoni, Boris Motik, and Ian Horrocks. Introducing nominals to the combined query answering approaches for EL . In Proc. of the 27th Nat. Conf. on Artificial Intelligence (AAAI-13), pages 1177–1183. AAAI Press, 2013.
[Smu68] Raymond M. Smullyan. First-Order Logic. Springer, 1968.
[SPA13] SPARQL 1.1 Entailment Regimes. W3C Recommendation, 2013. Available at http://www.w3.org/TR/sparql11-entailment/.
[SPC+07] Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, and Yarden Katz. Pellet: A practical OWL-DL reasoner. J. of Web Semantics, 5(2):51–53, 2007.
[SS91] Manfred Schmidt-Schaus and Gert Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48(1):1–26, 1991.
[SSBB09] Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader, and Martin Boeker. SNOMED reaching its adolescence: Ontologists' and logicians' health check. Int. J. of Medical Informatics, 78(Supplement 1):S86– S94, 2009.
[Ste15] Giorgio Stefanoni. Evaluating Conjunctive and Graph Queries over the EL Profile of OWL 2. PhD thesis, University of Oxford, 2015.
[TH06] Dmitry Tsarkov and Ian Horrocks. FaCT++ description logic reasoner: System description. In Ulrich Furbach and Natarajan Shankar, editors, Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR- 06), volume 4130 of Lecture Notes in Artificial Intelligence, pages 292– 297. Springer, 2006.
[THPS07] Dmitry Tsarkov, Ian Horrocks, and Peter F. Patel-Schneider. Optimizing terminological reasoning for expressive description logics. J. of Automated Reasoning, 39(3):277–316, 2007.
[TNNM13] Tania Tudorache, Csongor Nyulas, Natalya Fridman Noy, and Mark A. Musen. Using semantic web in ICD-11: Three years down the road. In Harith Alani, Lalana Kagal, Achille Fokoue, Paul Groth, Chris Biemann, Josiane Xavier Parreira, Lora Aroyo, Natasha Noy, Chris Welty, and Krzysztof Janowicz, editors, Proc. of the 12th International Semantic Web Conference (ISWC-13), volume 8219 of Lecture Notes in Computer Science, pages 195–211. Springer, 2013.
[Tob99] Stephan Toblies. A NEXPTIME-complete description logic strictly contained in C2. In Jörg Flum and Mario Rodríguez-Artalejo, editors, Proc. of the Annual Conf. of the Eur. Assoc. for Computer Science Logic (CSL-99), volume 1683 of Lecture Notes in Computer Science, pages 292– 306. Springer, 1999.
[TSCS15] Despoina Trivela, Giorgos Stoilos, Alexandros Chortaras, and Giorgos B. Stamou. Optimising resolution-based rewriting algorithms for OWL ontologies. J. of Web Semantics, 33:30–49, 2015.
[Vu08] Quoc Huy Vu. Subsumption in the description logic ELHIfR+ with respect to general TBoxes. Master's thesis, Chair for Automata Theory, TU Dresden, Germany, 2008.
[WED+08] Zhe Wu, George Eadon, Souripriya Das, Eugene Inseok Chong, Vladimir Kolovski, Melliyal Annamalai, and Jagannathan Srinivasan. Implementing an inference engine for RDFS/OWL constructs and userdefined rules in oracle. In Proc. of the 24th IEEE Int. Conf. on Data Engineering (ICDE-08), pages 1239–1248. IEEE Computer Society, 2008.
[WS92] William A. Woods and James G. Schmolze. The KL-ONE family. In Fritz W. Lehmann, editor, Semantic Networks in Artificial Intelligence, pages 133–178. Pergamon Press, 1992. Published as a special issue of Computers & Mathematics with Applications, Volume 23, Number 2–9.
[XSD12] W3C XML Schema Definition Language (XSD) 1.1 Part 2: Datatypes. W3C Recommendation, 2012. Available at http://www.w3.org/TR/xmlschema11-2/.

Metrics

Altmetric attention score

Full text views

Total number of HTML views: 0
Total number of PDF views: 528 *
Loading metrics...

Book summary page views

Total views: 1730 *
Loading metrics...

* Views captured on Cambridge Core between 13th June 2017 - 12th December 2017. This data will be updated every 24 hours.