[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[Gru93] Thomas R., Gruber. A translation approach to portable ontology specifications. Knowledge Acquisition, 5(2):199–220, 1993.Google Scholar

[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.Google Scholar

[Hal01] Alon Y., Halevy. Answering queries using views: A survey. VLDB J. , 10(4), 270–294, 2001.Google Scholar

[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.Google Scholar

[HDG12] Robert, Hoehndorf, Michel, Dumontier, and Georgios V., Gkoutos. Evaluation of research in biomedical ontologies. Briefings in Bioinformatics, 14(6):696–712, 2012.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[PS89] Peter F., Patel-Schneider. Undecidability of subsumption in NIKL. Artificial Intelligence, 39:263–272, 1989.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[Sch78] Thomas J., Schaefer. On the complexity of some two-person perfectinformation games. J. of Computer and System Sciences, 16(2):185–225, 1978.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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.Google Scholar

[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/.