Complexity of reasoning

Authors:
Francesco M. Donini
Affiliations:
Dipartimento di Elettrotecnica ed Elettronica, Politecnico di Bari, Via Re David 200, 70125 Bari, Italy
Venue:
The description logic handbook
Year:
2003

Citing 0
Cited 24

From tableaux to automata for description logics

Fundamenta Informaticae
Decomposition-based reasoning for large knowledge bases in description logics

Integrated Computer-Aided Engineering
PicShark: mitigating metadata scarcity through large-scale P2P collaboration

The VLDB Journal — The International Journal on Very Large Data Bases
Detecting Dirty Queries during Iterative Development of OWL Based Applications

OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Designing Visual Languages for Description Logics

Journal of Logic, Language and Information
Overcoming semantic heterogeneity in spatial data infrastructures

Computers & Geosciences
Decomposition-based Reasoning for Large Knowledge Bases in Description Logics

Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering
Semantic matchmaking as non-monotonic reasoning: a description logic approach

Journal of Artificial Intelligence Research
Abductive matchmaking using description logics

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Reasoning with inconsistent ontologies

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Part-whole representation and reasoning in formal biomedical ontologies

Artificial Intelligence in Medicine
On the complexities of consistency checking for restricted UML class diagrams

Theoretical Computer Science
Prime implicates and prime implicants: from propositional to modal logic

Journal of Artificial Intelligence Research
Hypertableau reasoning for description logics

Journal of Artificial Intelligence Research
Editorial: Revising the constraints of lightweight mediated schemas

Data & Knowledge Engineering
Generalized satisfiability for the description logic ALC

TAMC'11 Proceedings of the 8th annual conference on Theory and applications of models of computation
Rule-enhanced domain models for cloud security governance, risk and compliance management

RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
A new n-ary existential quantifier in description logics

KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
A minimalist approach to semantic annotations for web processes compositions

ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Consistency checking algorithms for restricted UML class diagrams

FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
From Tableaux to Automata for Description Logics

Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Introductions to description logics: a guided tour

RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Generalized satisfiability for the description logic ALC

Theoretical Computer Science
Beth definability in expressive description logics

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 ...