You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Oxford » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Oxford

Return to search Previous output Next output

Output 29 of 263 in the submission

Article title

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies

Type

D - Journal article

DOI

10.1613/jair.3949

Title of journal

JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH

Article number

Volume number

Issue number

First page of article

741

ISSN of journal

1076-9757

Year of publication

2013

URL

http://www.jair.org/papers/paper3949.html

Number of additional authors

Additional information

<22>

Answering conjunctive queries over facts extended with existential rules is a prominent problem in KR and databases, and is closely related to query answering in Horn fragments of the OWL 2 ontology language. This paper introduces new acyclicity conditions that guarantee termination of the widely used chase materialisation procedure, and that generalise existing conditions. It is shown that query answering for acyclic ontologies is of lower complexity than for general ontologies, and that many commonly used OWL 2 ontologies satisfy one of our new conditions. These results suggest that principled development of materialisation-based OWL 2 reasoners is practically feasible.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract