Conference item icon

Conference item

Consequence-based reasoning for description logics with disjunction, inverse roles, and nominals

Abstract:

We present a consequence-based calculus for the SHOI description logic. Known consequence-based reasoning procedures are either restricted to logics without nominals (e.g. SRIQ), or to Horn logics (e.g. Horn-SROIQ). In line with existing approaches, our algorithm uses context structures to assist in the derivation of clauses, which are generated by inference rules such as (hyper)resolution. These rules are applied only locally|that is, between clauses in either the same context or in neighbou...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Oxford college:
Hertford College
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Oxford college:
Oriel College
Role:
Author
Publisher:
CEUR Workshop Proceedings Publisher's website
Journal:
30th International Workshop on Description Logics (DL 2017) Journal website
Host title:
30th International Workshop on Description Logics (DL 2017)
Publication date:
2017-07-01
Acceptance date:
2017-06-12
ISSN:
1613-0073
Source identifiers:
724775
Pubs id:
pubs:724775
UUID:
uuid:7437ddd2-3872-437e-8a9e-29a4260a9607
Local pid:
pubs:724775
Deposit date:
2017-10-06

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