Attributive concept descriptions with complements
Artificial Intelligence
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Description logics for conceptual data modeling
Logics for databases and information systems
Concrete Math
OIL: An Ontology Infrastructure for the Semantic Web
IEEE Intelligent Systems
Adding Uniqueness Constraints to Description Logics (Preliminary Report)
DOOD '97 Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases
Tableau Algorithms for Description Logics
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Extensions of Concept Languages for a Mechanical Engineering Application
GWAI '92 Proceedings of the 16th German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Reasoning with Expressive Description Logics: Theory and Practice
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Reviewing the design of DAML+OIL: an ontology language for the semantic web
Eighteenth national conference on Artificial intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Fusions of description logics and abstract description systems
Journal of Artificial Intelligence Research
Keys, nominate, and concrete domains
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Bridging the gap between OWL and relational databases
Proceedings of the 16th international conference on World Wide Web
Relational Databases in RDF: Keys and Foreign Keys
Semantic Web, Ontologies and Databases
The Complexity of Conjunctive Query Answering in Expressive Description Logics
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Web Semantics: Science, Services and Agents on the World Wide Web
Reasoning with rough description logics: An approximate concepts approach
Information Sciences: an International Journal
OWL Datatypes: Design and Implementation
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Reasoning within intuitionistic fuzzy rough description logics
Information Sciences: an International Journal
Bridging the gap between OWL and relational databases
Web Semantics: Science, Services and Agents on the World Wide Web
Reasoning within expressive fuzzy rough description logics
Fuzzy Sets and Systems
Automated reasoning in ALCQ via SMT
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Knowledge base revision in description logics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Applications of description logics: state of the art and research challenges
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Review: survey of directly mapping sql databases to the semantic web
The Knowledge Engineering Review
Multidimensional integrated ontologies: a framework for designing semantic data warehouses
Journal on Data Semantics XIII
Beth definability in expressive description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Modelling structured domains using description graphs and logic programming
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
How fuzzy is my fuzzy description logic?
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Exact query reformulation with first-order ontologies and databases
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Beth definability in expressive description logics
Journal of Artificial Intelligence Research
| Hi-index | 0.03 |
Many description logics (DLs) combine knowledge representation on an abstract, logical level with an interface to "concrete" domains like numbers and strings with built-in predicates such as