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
Division:
MPLS
Department:
Computer Science
Role:
Author

Contributors

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

Terms of use


Views and Downloads






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

TO TOP