On Keys and Functional Dependencies as First-Class Citizens in Description Logics
Journal of Automated Reasoning
An Ontology-Based Approach to Validation of E-Services under Static and Dynamic Constraints
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Overcoming semantic heterogeneity in spatial data infrastructures
Computers & Geosciences
On order dependencies for the semantic web
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Fuzzy Description Logics and t-norm based fuzzy logics
International Journal of Approximate Reasoning
Flexible concept-based argumentation in dynamic scenes
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
On keys and functional dependencies as first-class citizens in description logics
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Introductions to description logics: a guided tour
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Beth definability in expressive description logics
Journal of Artificial Intelligence Research
| Hi-index | 0.00 |
This chapter provides an introduction to Description Logics as a formal language for representing knowledge and reasoning about it. It first gives a short overview of the ideas underlying Description Logics. Then it introduces syntax and semantics, covering ...