Journal article icon

Journal article

Consequence-based reasoning for description logics with disjunctions and number restrictions

Abstract:

Description logics (DLs) are a family of knowledge representation formalisms that provide the logical foundation of the OWL 2 DL ontology language. Effcient ontology classification lies at the core of many practical applications of DLs, so considerable effort has been devoted to the development and optimisation of practical reasoning calculi. Consequence-based calculi combine ideas from hypertableau and resolution in a way that has proved very effective in practice; for example, the CB reason...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Publisher's version

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Oxford college:
Somerville 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 Division
Department:
Computer Science
Role:
Author
Expand authors...
Royal Society More from this funder
Publisher:
AI Access Foundation, Inc. Publisher's website
Journal:
Journal of Artificial Intelligence Research Journal website
Publication date:
2018-11-29
Acceptance date:
2018-09-13
EISSN:
1943-5037
ISSN:
1076-9757
Pubs id:
pubs:945327
URN:
uri:b673c37a-85b1-40d9-8a92-f1ed6c5900d2
UUID:
uuid:b673c37a-85b1-40d9-8a92-f1ed6c5900d2
Local pid:
pubs:945327
Keywords:
Subjects:

Terms of use


Metrics


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