Journal article icon

Journal article

Hypertableau Reasoning for Description Logics

Abstract:

We present a novel reasoning calculus for the description logic SHOIQ^+---a knowledge representation formalism with applications in areas such as the Semantic Web. Unnecessary nondeterminism and the construction of large models are two primary sources of inefficiency in the tableau-based reasoning calculi used in state-of-the-art reasoners. In order to reduce nondeterminism, we base our calculus on hypertableau and hyperresolution calculi, which we extend with a blocking condition to ensure t...

Expand abstract
Publication status:
Published

Actions


Access Document


Publisher copy:
10.1613/jair.2811

Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Shearer, R More by this author
Horrocks, I More by this author
Journal:
Journal Of Artificial Intelligence Research, Volume 36, pages 165-228, 2009
Volume:
36
Pages:
165-228
Publication date:
2014-01-15
DOI:
EISSN:
1076-9757
ISSN:
1076-9757
URN:
uuid:53cf1854-c675-4d7c-bdc1-a82e182a4309
Source identifiers:
297584
Local pid:
pubs:297584
Language:
English
Keywords:

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP