Attributive concept descriptions with complements
Artificial Intelligence
Journal of Logic Programming
Reasoning with individuals in concept languages
Data & Knowledge Engineering
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Boosting the correspondence between description logics and propositional dynamic logics
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
International Journal of Human-Computer Studies
Combining Horn rules and description logics in CARIN
Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Description logics for conceptual data modeling
Logics for databases and information systems
Complexity Results for First-Order Two-Variable Logic with Counting
SIAM Journal on Computing
Why are modal logics so robustly decidable?
Current trends in theoretical computer science
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
OntoEdit: Guiding Ontology Development by Methodology and Inferencing
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Consistency Testing: The RACE Experience
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Road-Map on Complexity for Hybrid Logics
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Issues of Decidability for Description Logics in the Framework of Resolution
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Optimising Propositional Modal Satisfiability for Description Logic Subsumption
AISC '98 Proceedings of the International Conference on Artificial Intelligence and Symbolic Computation
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
On the Problem of Computing Small Representations of Least Common Subsumers
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
Reasoning in expressive description logics
Handbook of automated reasoning
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
The Knowledge Engineering Review
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
Just the right amount: extracting modules from ontologies
Proceedings of the 16th international conference on World Wide Web
Bridging the gap between OWL and relational databases
Proceedings of the 16th international conference on World Wide Web
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
Journal of Automated Reasoning
How to prefer more specific defaults in terminological default logic
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A faithful integration of description logics with logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Decidability of SHIQ with complex role inclusion axioms
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A scheme for integrating concrete domains into concept languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A correspondence theory for terminological logics: preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Matching under side conditions in description logics
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
Debugging unsatisfiable classes in OWL ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Swoop: A Web Ontology Editing Browser
Web Semantics: Science, Services and Agents on the World Wide Web
A little semantic web goes a long way in biology
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Building a bioinformatics ontology using OIL
IEEE Transactions on Information Technology in Biomedicine
An ontology in OWL for legal case-based reasoning
Artificial Intelligence and Law
| Hi-index | 0.00 |
This tutorial covers the very basics of Description Logics (DLs): first, we present the primary DL ALC, namely its syntax, semantics, and reasoning problems, making use of a running example. Next, we discuss a few important extensions and explain DL's relationship with first order logic, with modal logic, with OWL, and with rule-based formalisms, and give a brief sketch of tableau-based reasoning algorithms for DLs.