Get started
Keyword

description logics

Description: Description logics are formal knowledge-representation languages for defining concepts and relationships, widely used in ontologies and semantic technologies.
Wikidata ID: wiki/Q387196
OpenAlex ID: keywords/description-logics
The Description Logic Handbook
2007 · Cambridge University Press eBooks · 6,148
SWRL : A semantic Web rule language combining OWL and ruleML
2004 · Haoyong Lan · Medical Entomology and Zoology · 2,850
Pellet: A practical OWL-DL reasoner
2007 · Evren Sirin, Bijan Parsia, et al. · Journal of Web Semantics · 2,737
The Description Logic Handbook – Theory, Implementation and Applications
2003 · C.J.H. Mann · Kybernetes · 2,223
The Description Logic Handbook
2009 · Franz Baader, Diego Calvanese, et al. · 1,872
From SHIQ and RDF to OWL: the making of a Web Ontology Language
2003 · Ian Horrocks, Peter F. Patel-Schneider, et al. · Journal of Web Semantics · 1,496
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
2007 · Diego Calvanese, Giuseppe De Giacomo, et al. · Journal of Automated Reasoning · 1,342
Ontological Engineering: with examples from the areas of Knowledge Management, e-Commerce and the Semantic Web
2004 · Asunción Gómez‐Pérez, Mariano Fernández‐López, et al. · 1,147
Attributive concept descriptions with complements
1991 · Manfred Schmidt-Schauß, Gert Smolka · Artificial Intelligence · 962
RACER System Description
2001 · Volker Haarslev, Ralf Möller · Lecture notes in computer science · 914
Pushing the EL envelope
2005 · Franz Baader, Sebastian Brandt, et al. · Qucosa (Saxon State and University Library Dresden) · 902
Linking Data to Ontologies
2008 · Antonella Poggi, Domenico Lembo, et al. · Lecture notes in computer science · 881
The even more irresistible SROIQ
2006 · Ian Horrocks, Oliver Kutz, et al. · 845
FaCT++ Description Logic Reasoner: System Description
2006 · Dmitry Tsarkov, Ian Horrocks · Lecture notes in computer science · 806
HermiT: An OWL 2 Reasoner
2014 · Birte Glimm, Ian Horrocks, et al. · Journal of Automated Reasoning · 623
Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment
2004 · Andrzej Uszok, Jeffrey M. Bradshaw, et al. · Lecture notes in computer science · 585
PDF
Basic Description Logics
2007 · F. Baader, W. Nutt · Cambridge University Press eBooks · 566
Many-Dimensional Modal Logics - Theory and Applications
2003 · Studies in logic and the foundations of mathematics · 560
Knowledge Representation and Reasoning
2004 · Elsevier eBooks · 558
Reasoning on UML class diagrams
2005 · Daniela Berardi, Diego Calvanese, et al. · Artificial Intelligence · 539
PDF
Practical Reasoning for Expressive Description Logics
1999 · Ian Horrocks, Ulrike Sattler, et al. · Lecture notes in computer science · 533
PDF
DLP System Description.
1998 · Peter F. Patel‐Schneider · 527
An Introduction to Description Logic
2017 · Franz Baader, Ian Horrocks, et al. · Cambridge University Press eBooks · 508
CLASSIC: a structural data model for objects
1989 · Alexander Borgida, Ronald J. Brachman, et al. · ACM SIGMOD Record · 504
PDF
Query Answering for OWL-DL with Rules
2004 · Boris Motik, Ulrike Sattler, et al. · Lecture notes in computer science · 494
Works count: 10,210
Citation count: 146,000
Year
Topic
Type