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. Efficient ontology classifi- cation 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. Consequencebased calculi combine ideas from hypertableau and resolution in a way that has proved very effective in practice; for example, the CB reas...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted Manuscript

Actions


Access Document


Files:
Publisher copy:
10.1613/jair.1.11257

Authors


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
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
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 Publisher's website
Journal:
Journal of Artificial Intelligence Research Journal website
Volume:
63
Issue:
2018
Pages:
625 - 690
Acceptance date:
2018-09-13
DOI:
EISSN:
1943-5037
ISSN:
1076-9757
Pubs id:
pubs:930340
URN:
uri:a39a6b24-ec52-4073-bbee-706d3b3d9ceb
UUID:
uuid:a39a6b24-ec52-4073-bbee-706d3b3d9ceb
Local pid:
pubs:930340

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