Journal article icon

Journal article

Optimized Reasoning in Description Logics Using Hypertableaux.

Abstract:

We present a novel reasoning calculus for Description Logics (DLs)-knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the nondeterminism due to general inclusion axioms, we base our calculus on hypertableau and hyperresolution calculi, which we extend with a blocking condition to ensure termination. To prevent the calculus from generating large models, we introduce "anywhere" pairwise blocking. Our preliminary implementation shows signi...

Expand abstract

Actions


Access Document


Publisher copy:
10.1007/978-3-540-73595-3_6

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

Contributors

Role:
Editor
Publisher:
Springer Publisher's website
Journal:
CADE
Volume:
4603
Pages:
67-83
Publication date:
2007
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
URN:
uuid:9ff8bb58-802f-41e0-a777-9c4f7756faea
Source identifiers:
288619
Local pid:
pubs:288619
Language:
English

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