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
Bibliographic Details
- 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
Item Description
- 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
- Copyright date:
- 2007
If you are the owner of this record, you can report an update to it here: Report update to this record