{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,9,28]],"date-time":"2022-09-28T14:30:07Z","timestamp":1664375407551},"reference-count":133,"publisher":"Elsevier","license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1016\/b978-0-444-51624-4.50015-0","type":"book-chapter","created":{"date-parts":[[2014,12,9]],"date-time":"2014-12-09T19:00:46Z","timestamp":1418151646000},"page":"659-678","source":"Crossref","is-referenced-by-count":1,"title":["Description Logics"],"prefix":"10.1016","author":[{"given":"Matthias","family":"Knorr","sequence":"first","affiliation":[]},{"given":"Pascal","family":"Hitzler","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0005","first-page":"711","article-title":"Temporal Description Logic for Ontology-Based Data Access","author":"Artale","year":"2013"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0010","first-page":"452","article-title":"A scheme for integrating concrete domains into concept languages","author":"Baader","year":"1991"},{"issue":"3","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0015","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/122296.122298","article-title":"K\u211b\u2110S: Knowledge \u211bepresentation and \u2110nference System","volume":"2","author":"Baader","year":"1991","journal-title":"SIGART Bull."},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0020","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00883932","article-title":"Embedding Defaults into Terminological Representation Systems","volume":"14","author":"Baader","year":"1995","journal-title":"J. Autom. Reasoning"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_rf0025","first-page":"261","article-title":"Matching Concept Descriptions with Existential Restrictions","author":"Baader","year":"2000"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0030","series-title":"The Description Logic Handbook: Theory, Implementation, and Applications","first-page":"43","article-title":"Basic Description Logics","author":"Baader","year":"2007"},{"issue":"1","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0035","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/exn058","article-title":"Axiom Pinpointing in General Tableaux","volume":"20","author":"Baader","year":"2010","journal-title":"J. Log. Comput."},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0040","first-page":"270","article-title":"An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On","author":"Baader","year":"1992"},{"issue":"3","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0045","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1093\/logcom\/9.3.411","article-title":"Matching in Description Logics","volume":"9","author":"Baader","year":"1999","journal-title":"J. Log. Comput."},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0050","first-page":"96","article-title":"Computing Least Common Subsumers in Description Logics with Existential Restrictions","author":"Baader","year":"1999"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0055","article-title":"Pushing the \u2130\u2112 Envelope","author":"Baader","year":"2005"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0060","first-page":"287","article-title":"CEL\u2014A Polynomial-time Reasoner for Life Science Ontologies","author":"Baader","year":"2006"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0065","series-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2007"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0070","series-title":"Handbook of Knowledge Representation","article-title":"Description Logics","author":"Baader","year":"2007"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0075","first-page":"446","article-title":"Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles","author":"Baader","year":"1991"},{"issue":"23","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0080","doi-asserted-by":"crossref","first-page":"3382","DOI":"10.1016\/j.fss.2009.03.006","article-title":"Fuzzy description logics with general t-norms and datatypes","volume":"160","author":"Bobillo","year":"2009","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0085","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1613\/jair.2763","article-title":"The Complexity of Circumscription in Description Logic","volume":"35","author":"Bonatti","year":"2009","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0090","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1613\/jair.56","article-title":"A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic","volume":"1","author":"Borgida","year":"1994","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0095","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-3-540-39733-5_7","article-title":"Distributed Description Logics: Assimilating Information from Peer Sources","volume":"1","author":"Borgida","year":"2003","journal-title":"Journal on Data Semantics"},{"issue":"1-2","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0100","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0004-3702(96)00004-5","article-title":"On the Relative Expressiveness of Description Logics and Predicate Logics","volume":"82","author":"Borgida","year":"1996","journal-title":"Artif. Intell."},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0105","article-title":"Undecidability of fuzzy description logics","author":"Borgwardt","year":"2012"},{"issue":"1","key":"10.1016\/B978-0-444-51624-4.50015-0_rf0110","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s13740-012-0013-x","article-title":"The complexity of lattice-based fuzzy description logics","volume":"2","author":"Borgwardt","year":"2013","journal-title":"J. Data Semantics"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0115","first-page":"34","article-title":"The Tractability of Subsumption in Frame-Based Description Languages","author":"Brachman","year":"1984"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0120","series-title":"Readings in Knowledge Representation","year":"1985"},{"issue":"2","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0125","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","article-title":"An overview of the KL-ONE knowledge representation system","volume":"9","author":"Brachman","year":"1985","journal-title":"Cognitive Science"},{"issue":"10","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0130","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/MC.1983.1654200","article-title":"Krypton: A Functional Approach to Knowledge Representation","volume":"16","author":"Brachman","year":"1983","journal-title":"IEEE Computer"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0135","series-title":"Principles of Semantic Networks","first-page":"401","article-title":"Living with CLASSIC: When and how to use a KL-ONE-like language","author":"Brachman","year":"1991"},{"issue":"2","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0140","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/S0020-7373(77)80017-5","article-title":"What\u2019s in a Concept: Structural Foundations for Semantic Networks","volume":"9","author":"Brachman","year":"1977","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0145","series-title":"Research in Natural Language Understanding","first-page":"36","article-title":"Structured inheritance networks","author":"Brachman","year":"1978"},{"issue":"10","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0150","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/MC.1983.1654194","article-title":"What IS-A Is and Isn\u2019t: An Analysis of Taxonomic Links in Semantic Networks","volume":"16","author":"Brachman","year":"1983","journal-title":"IEEE Computer"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0155","first-page":"203","article-title":"Approximation and Difference in Description Logics","author":"Brandt","year":"2002"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0160","first-page":"131","article-title":"Implementing and Testing Expressive Description Logics","author":"Bresciani","year":"1995"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0165","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1613\/jair.21","article-title":"Decidable Reasoning in Terminological Knowledge Representation Systems","volume":"1","author":"Buchheit","year":"1993","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0170","series-title":"Handbook of Automated Reasoning","first-page":"1581","article-title":"Reasoning in Expressive Description Logics","author":"Calvanese","year":"2001"},{"issue":"3","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0175","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","article-title":"Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family","volume":"39","author":"Calvanese","year":"2007","journal-title":"J. Autom. Reasoning"},{"issue":"1","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0180","doi-asserted-by":"crossref","first-page":"43","DOI":"10.3233\/SW-2011-0029","article-title":"The MASTRO system for ontology-based data access","volume":"2","author":"Calvanese","year":"2011","journal-title":"Semantic Web"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0185","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/j.artint.2012.10.003","article-title":"Data complexity of query answering in description logics","volume":"195","author":"Calvanese","year":"2013","journal-title":"Artif. Intell."},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0190","first-page":"293","article-title":"Optique: OBDA Solution for Big Data","author":"Calvanese","year":"2013"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_rf0195","first-page":"205","article-title":"Boosting the Correspondence between Description Logics and Propositional Dynamic Logics","author":"De Giacomo","year":"1994"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0200","first-page":"411","article-title":"Concept Language with Number Restrictions and Fixpoints, and its Relationship with \u03bc-calculus","author":"De Giacomo","year":"1994"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0205","first-page":"316","article-title":"TBox and ABox Reasoning in Expressive Description Logics","author":"De Giacomo","year":"1996"},{"issue":"1","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0210","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/S0004-3702(00)00070-9","article-title":"ExpTime tableaux for A\u2112C","volume":"124","author":"Donini","year":"2000","journal-title":"Artif. Intell."},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0215","first-page":"151","article-title":"The Complexity of Concept Languages","author":"Donini","year":"1991"},{"issue":"1-2","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0220","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0004-3702(98)00009-5","article-title":"An epistemic operator for description logics","volume":"100","author":"Donini","year":"1998","journal-title":"Artif. Intell."},{"issue":"2","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0225","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/505372.505373","article-title":"Description logics of minimal knowledge and negation as failure","volume":"3","author":"Donini","year":"2002","journal-title":"ACM Trans. Comput. Log."},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0230","doi-asserted-by":"crossref","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","article-title":"Combining answer set programming with description logics for the Semantic Web","volume":"172","author":"Eiter","year":"2008","journal-title":"Artif. Intell."},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0235","first-page":"759","article-title":"Query Answering in Description Logics with Transitive Roles","author":"Eiter","year":"2009"},{"issue":"2","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0240","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","article-title":"Propositional Dynamic Logic of Regular Programs","volume":"18","author":"Fischer","year":"1979","journal-title":"J. Comput. Syst. Sci."},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0245","first-page":"262","article-title":"Ontology Design Patterns for Semantic Web Content","author":"Gangemi","year":"2005"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0250","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1613\/jair.2372","article-title":"Conjunctive Query Answering for the Description Logic S\u210b\u2110Q","volume":"31","author":"Glimm","year":"2008","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0255","first-page":"1","article-title":"OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report","author":"Gon\u00e7alves","year":"2013"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0260","first-page":"306","article-title":"Two-Variable Logic with Counting is Decidable","author":"Gr\u00e4del","year":"1997"},{"issue":"2","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0265","doi-asserted-by":"crossref","first-page":"89","DOI":"10.2753\/JEC1086-4415120204","article-title":"Semantic Matchmaking of Web Resources with Local Closed-World Reasoning","volume":"12","author":"Grimm","year":"2008","journal-title":"International Journal of Electronic Commerce"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_rf0270","first-page":"48","article-title":"Description logic programs: combining logic programs with description logic","author":"Grosof","year":"2003"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0275","article-title":"RACE System Description","author":"Haarslev","year":"1999"},{"issue":"3","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0280","doi-asserted-by":"crossref","first-page":"267","DOI":"10.3233\/SW-2011-0032","article-title":"The RacerPro Knowledge Representation and Reasoning System","volume":"3","author":"Haarslev","year":"2012","journal-title":"Semantic Web"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0285","first-page":"559","article-title":"In Defense of Logic","author":"Hayes","year":"1977"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0290","series-title":"Frame conceptions and text understanding","first-page":"46","article-title":"The logic of frames","author":"Hayes","year":"1979"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0295","first-page":"767","article-title":"An Empirical Analysis of Terminological Representation Systems","author":"Heinsohn","year":"1992"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0300","series-title":"Markus Kr\u00f6tzsch, and Sebastian Rudolph","author":"Hitzler","year":"2010"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0305","series-title":"OWL 2 Web Ontology Language: Primer (Second Edition). W3C Recommendation 11 December 2012","year":"2012"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0310","first-page":"348","article-title":"Subsumption Algorithms for Concept Description Languages","author":"Hollunder","year":"1990"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0315","first-page":"323","article-title":"Laconic and Precise Justifications in OWL","author":"Horridge","year":"2008"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0320","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1016\/j.knosys.2013.08.021","article-title":"Toward cognitive support for OWL justifications","volume":"53","author":"Horridge","year":"2013","journal-title":"Knowl.-Based Syst."},{"issue":"3","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0325","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1093\/logcom\/9.3.385","article-title":"A Description Logic with Transitive and Inverse Roles and Role Hierarchies","volume":"9","author":"Horrocks","year":"1999","journal-title":"J. Log. Comput."},{"issue":"3","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0330","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1093\/jigpal\/8.3.239","article-title":"Practical Reasoning for Very Expressive Description Logics","volume":"8","author":"Horrocks","year":"2000","journal-title":"Logic Journal of the IGPL"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0335","series-title":"SWRL: A Semantic Web Rule Language Combining OWL and RuleML. W3C Member Submission 21 May 2004","author":"Horrocks","year":"2004"},{"issue":"1","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0340","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.websem.2005.05.003","article-title":"OWL Rules: A Proposal and Prototype Implementation","volume":"3","author":"Horrocks","year":"2005","journal-title":"Journal of Web Semantics"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0345","first-page":"636","article-title":"Using an Expressive Description Logic: FaCT or Fiction?","author":"Horrocks","year":"1998"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0350","series-title":"The Description Logic Handbook: Theory, Implementation, and Applications","first-page":"306","article-title":"Implementation and Optimization Techniques","author":"Horrocks","year":"2007"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_rf0355","first-page":"438","article-title":"A Geo-ontology Design Pattern for Semantic Trajectories","author":"Hu","year":"2013"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0360","first-page":"454","article-title":"Reasoning with Inconsistent Ontologies","author":"Huang","year":"2005"},{"issue":"4","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0365","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1016\/j.websem.2005.09.005","article-title":"Debugging unsatisfiable classes in OWL ontologies","volume":"3","author":"Kalyanpur","year":"2005","journal-title":"J. Web Sem."},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0370","first-page":"305","article-title":"Concurrent Classification of \u2130\u2112 Ontologies","author":"Kazakov","year":"2011"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0375","first-page":"2040","article-title":"Consequence-Driven Reasoning for Horn S\u210b\u2110Q Ontologies","author":"Kazakov","year":"2009"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0380","first-page":"65","article-title":"Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate\u2019s FactPages","author":"Kharlamov","year":"2013"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0385","first-page":"41","article-title":"Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability","author":"Klinov","year":"2013"},{"issue":"9\u201310","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0390","doi-asserted-by":"crossref","first-page":"1528","DOI":"10.1016\/j.artint.2011.01.007","article-title":"Local Closed-World Reasoning with Description Logics under the Well-founded Semantics","volume":"175","author":"Knorr","year":"2011","journal-title":"Artif. Intell."},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0395","first-page":"474","article-title":"Reconciling OWL and non-monotonic rules for the Semantic Web","author":"Knorr","year":"2012"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0400","first-page":"382","article-title":"OWL and Rules","author":"Krisnadhi","year":"2011"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0405","first-page":"80","article-title":"Description Logic Rules","author":"Kr\u00f6tzsch","year":"2008"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_rf0410","first-page":"645","article-title":"A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies","author":"Kr\u00f6tzsch","year":"2011"},{"issue":"1","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0415","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/2422085.2422087","article-title":"Complexities of Horn Description Logics","volume":"14","author":"Kr\u00f6tzsch","year":"2013","journal-title":"ACM Trans. on Comput. Log."},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0420","first-page":"234","article-title":"Efficient Inferencing for OWL EL","author":"Kr\u00f6tzsch","year":"2010"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0425","first-page":"219","article-title":"Computing Least Common Subsumers in A\u2112\u2130N","author":"K\u00fcsters","year":"2001"},{"issue":"2\u20135","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0430","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0898-1221(92)90135-5","article-title":"Semantic Networks","volume":"23","author":"Lehmann","year":"1992","journal-title":"Computers Math. Applic."},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0435","series-title":"Semantic Networks in Artificial Intelligence","author":"Lehmann","year":"1992"},{"issue":"6","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0440","doi-asserted-by":"crossref","first-page":"837","DOI":"10.1016\/j.ijar.2009.03.004","article-title":"Description logic programs under probabilistic uncertainty and fuzzy vagueness","volume":"50","author":"Lukasiewicz","year":"2009","journal-title":"Int. J. Approx. Reasoning"},{"issue":"1\u20133","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0445","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s10817-006-9049-7","article-title":"A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes","volume":"38","author":"Lutz","year":"2007","journal-title":"J. Autom. Reasoning"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0450","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1613\/jair.1542","article-title":"Keys, Nominals, and Concrete Domains","volume":"23","author":"Lutz","year":"2005","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0455","first-page":"89","article-title":"Interval-based Temporal Reasoning with General TBoxes","author":"Lutz","year":"2001"},{"issue":"4","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0460","doi-asserted-by":"crossref","first-page":"669","DOI":"10.1145\/1024922.1024925","article-title":"NEXP TIME-complete description logics with concrete domains","volume":"5","author":"Lutz","year":"2004","journal-title":"ACM Trans. Comput. Log."},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0465","article-title":"The LOOM knowledge representation language","author":"MacGregor","year":"1987"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0470","series-title":"Principles of Semantic Networks","first-page":"385","article-title":"The evolving technology of classification-based knowledge representation systems","author":"MacGregor","year":"1991"},{"issue":"4","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0475","doi-asserted-by":"crossref","first-page":"395","DOI":"10.3233\/SW-2012-0066","article-title":"Paraconsistent OWL and related logics","volume":"4","author":"Maier","year":"2013","journal-title":"Semantic Web"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0480","series-title":"OWL Web Ontology Language: Overview. W3C Recommendation 10 February 2004","author":"McGuinness","year":"2004"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0485","first-page":"269","article-title":"Finding Maximally Satisfiable Terminologies for the Description Logic A\u2112C","author":"Andreas Meyer","year":"2006"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0490","first-page":"95","article-title":"A framework for representing knowledge","author":"Minsky","year":"1981"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0495","series-title":"The Description Logic Handbook: Theory, Implementation, and Applications","first-page":"282","article-title":"Description Logic Systems","author":"M\u00f6ller","year":"2007"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0500","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1002\/malq.19750210118","article-title":"On languages with two variables","volume":"21","author":"Mortimer","year":"1975","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"issue":"5","key":"10.1016\/B978-0-444-51624-4.50015-0_rf0505","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1754399.1754403","article-title":"Reconciling Description Logics and Rules","volume":"57","author":"Motik","year":"2010","journal-title":"J. ACM"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0510","first-page":"227","article-title":"A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes","author":"Motik","year":"2006"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0515","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1613\/jair.2811","article-title":"Hypertableau Reasoning for Description Logics","volume":"36","author":"Motik","year":"2009","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0520","series-title":"OWL 2 Web Ontology Language: Profiles (Second Edition). W3C Recommendation 11 December 2012","year":"2012"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0525","first-page":"17","article-title":"DistEL: A Distributed EL+Ontology Classifier","author":"Mutharaju","year":"2013"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0530","series-title":"The Description Logic Handbook: Theory, Implementation, and Applications","first-page":"1","article-title":"An Introduction to Description Logics","author":"Nardi","year":"2007"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0535","first-page":"260","article-title":"Hybrid Reasoning in BACK","author":"Nebel","year":"1988"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0540","author":"Nebel","year":"1990"},{"issue":"2","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0545","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0004-3702(90)90087-G","article-title":"Terminological Reasoning is Inherently Intractable","volume":"43","author":"Nebel","year":"1990","journal-title":"Artif. Intell."},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0550","first-page":"318","article-title":"Complexity of Two-Variable Logic with Counting","author":"Pacholski","year":"1997"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0555","series-title":"Advances in Knowledge Representation","article-title":"That IS-IN Isn\u2019tIS-A: A Further Analysis of Taxonomic Links in Conceptual Modelling","author":"Palomki","year":"2012"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0560","series-title":"Papadimitriou","author":"Christos","year":"1994"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0565","article-title":"DLP","author":"Patel-Schneider","year":"1999"},{"issue":"3","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0570","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/122296.122314","article-title":"The BACK System - An Overview","volume":"2","author":"Peltason","year":"1991","journal-title":"SIGART Bull."},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0575","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1002\/bs.3830120511","article-title":"Word concepts: A theory and simulation of some basic capabilities","volume":"12","author":"Ross Quillian","year":"1967","journal-title":"Behavioral Science"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0580","first-page":"435","article-title":"Description Logic Reasoning with Decision Diagrams: Compiling S\u210b\u2110Q to Disjunctive Datalog","author":"Rudolph","year":"2008"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0585","first-page":"529","article-title":"Terminological Reasoning in S\u210b\u2110Q with Ordered Binary Decision Diagrams","author":"Rudolph","year":"2008"},{"issue":"1","key":"10.1016\/B978-0-444-51624-4.50015-0_rf0590","doi-asserted-by":"crossref","DOI":"10.2168\/LMCS-8(1:12)2012","article-title":"Type-elimination-based reasoning for the description logic S\u210b\u2110Qbs using decision diagrams and disjunctive Datalog","volume":"8","author":"Rudolph","year":"2012","journal-title":"Logical Methods in Computer Science"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0595","series-title":"Artificial Intelligence - A Modern Approach (3. internat. ed.)","author":"Russell","year":"2010"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0600","first-page":"466","article-title":"A Correspondence Theory for Terminological Logics: Preliminary Report","author":"Schild","year":"1991"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0605","first-page":"509","article-title":"Terminological Cycles and the Propositional \u03bc-Calculus","author":"Schild","year":"1994"},{"issue":"1","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0610","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1142\/S1793351X10000948","article-title":"Peer-to-Peer Reasoning for Interlinked Ontologies","volume":"4","author":"Schlicht","year":"2010","journal-title":"Int. J. Semantic, Computing"},{"issue":"3","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0615","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s10817-007-9076-z","article-title":"Debugging Incoherent Terminologies","volume":"39","author":"Schlobach","year":"2007","journal-title":"J. Autom. Reasoning"},{"issue":"1","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0620","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","article-title":"Attributive Concept Descriptions with Complements","volume":"48","author":"Schmidt-Schau\u00df","year":"1991","journal-title":"Artif. Intell."},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0625","first-page":"617","article-title":"Local Closed World Semantics: Grounded Circumscription for OWL","author":"Sengupta","year":"2011"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0630","first-page":"1093","article-title":"Consequence-Based Reasoning beyond Horn Ontologies","author":"Simancik","year":"2011"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0635","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","article-title":"Bernardo Cuenca Grau, Aditya Kalyanpur, and Yarden Katz. Pellet: A practical OWL-DL reasoner","volume":"5","author":"Sirin","year":"2007","journal-title":"Web Semantics"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0640","article-title":"Nominal Schema Absorption","author":"Steigmiller","year":"2013"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0645","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1613\/jair.813","article-title":"Reasoning within Fuzzy Description Logics","volume":"14","author":"Straccia","year":"2001","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"5","key":"10.1016\/B978-0-444-51624-4.50015-0_bb0650","doi-asserted-by":"crossref","first-page":"809","DOI":"10.1093\/logcom\/12.5.809","article-title":"A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case","volume":"12","author":"Sturm","year":"2002","journal-title":"J. Log. Comput."},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0655","first-page":"292","article-title":"FaCT++ description logic reasoner: System description","author":"Tsarkov","year":"2006"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0660","first-page":"471","article-title":"Using Vampire to Reason with OWL","author":"Tsarkov","year":"2004"},{"key":"10.1016\/B978-0-444-51624-4.50015-0_bb0665","series-title":"Representation and Understanding: Studies in Cognitive Science","first-page":"35","article-title":"What\u2019s in a link: Foundations for semantic networks","author":"Woods","year":"1975"}],"container-title":["Handbook of the History of Logic","Computational Logic"],"original-title":[],"link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780444516244500150?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780444516244500150?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,8,27]],"date-time":"2020-08-27T18:43:00Z","timestamp":1598553780000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780444516244500150"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"references-count":133,"URL":"https:\/\/doi.org\/10.1016\/b978-0-444-51624-4.50015-0","relation":{},"ISSN":["1874-5857"],"issn-type":[{"value":"1874-5857","type":"print"}],"subject":[],"published":{"date-parts":[[2014]]}}}