Description logic reasoning for semantic web ontologies

Authors:
Anni-Yasmin Turhan
Affiliations:
Technische Universität Dresden, Dresden, Germany
Venue:
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Year:
2011

Citing 29
Cited 1

Readings in Knowledge Representation

Readings in Knowledge Representation
Reasoning with Expressive Description Logics: Theory and Practice

CADE-18 Proceedings of the 18th International Conference on Automated Deduction
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
RACER System Description

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Complexity of Terminological Reasoning Revisited

LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Expressive description logics

The description logic handbook
A Framework for Representing Knowledge

A Framework for Representing Knowledge
A Tableau Decision Procedure for $\mathcal{SHOIQ}$

Journal of Automated Reasoning
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

Journal of Automated Reasoning
Optimizing Terminological Reasoning for Expressive Description Logics

Journal of Automated Reasoning
Data Complexity of Query Answering in Expressive Description Logics via Tableaux

Journal of Automated Reasoning
Optimized Reasoning in Description Logics Using Hypertableaux

CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
The Complexity of Conjunctive Query Answering in Expressive Description Logics

IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Description Logics

Reasoning Web. Semantic Technologies for Information Systems
DL-Lite: tractable description logics for ontologies

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
QUONTO: querying ontologies

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 4
The complexity of reasoning with cardinality restrictions and nominals in expressive description logics

Journal of Artificial Intelligence Research
Conjunctive query answering for the description logic SHIQ

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
High performance reasoning with very large knowledge bases: a practical case study

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Pushing the EL envelope

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A tableaux decision procedure for SHOIQ

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Query answering in description logics with transitive roles

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A Novel Architecture for Situation Awareness Systems

TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations

Journal of Ambient Intelligence and Smart Environments
Reasoning and explanation in EL and in expressive description logics

ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
A comparison of reasoning techniques for querying large description logic ABoxes

LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
FaCT++ description logic reasoner: system description

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Optimized description logic reasoning via core blocking

IJCAR'10 Proceedings of the 5th international 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

Quantified Score

Hi-index	0.00

Visualization

Abstract

The ontology language for the semantic web OWL provides means to describe entities of an application domain in an ontology in a well-structured way. The underlying formalism for OWL are Description Logics (DLs) [6], which are a family of knowledge representation formalisms that have formal semantics. This family of logics is tailored towards representing terminological knowledge of an application domain in a structured and formally well-understood way.