Reasoning in Description Logics by a Reduction to Disjunctive Datalog

Ullrich Hustadt; Boris Motik; Ulrike Sattler

doi:10.1007/s10817-007-9080-3

ScienceGate Book Chapters

JOURNAL ARTICLE

Reasoning in Description Logics by a Reduction to Disjunctive Datalog

Ullrich Hustadt Boris Motik Ulrike Sattler

Year: 2007 Journal: Journal of Automated Reasoning Vol: 39 (3)Pages: 351-384 Publisher: Springer Science+Business Media

DOI: 10.1007/s10817-007-9080-3

Get Full-Text PDF Get Analytical Report

Keywords:

Datalog Fragment (logic) Computer science Reduction (mathematics) Reuse Theoretical computer science Set (abstract data type) Knowledge base Base (topology) MAGIC (telescope) Time complexity Description logic Programming language Algorithm Mathematics Artificial intelligence

Metrics

177

Cited By

9.70

FWCI (Field Weighted Citation Impact)

Refs

0.98

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Semantic Web and Ontologies

Physical Sciences → Computer Science → Artificial Intelligence

Logic, Reasoning, and Knowledge

Physical Sciences → Computer Science → Artificial Intelligence

Advanced Database Systems and Queries

Physical Sciences → Computer Science → Computer Networks and Communications

Reasoning in Description Logics by a Reduction to Disjunctive Datalog

Metrics

Citation History

Topics

Related Documents

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk)

Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics

Disjunctive datalog

Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies