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
Actions
Authors
Funding
Royal Society
More from this funder
Bibliographic Details
- 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
- Source identifiers:
-
945327
Item Description
Terms of use
- Copyright holder:
- AI Access Foundation
- Copyright date:
- 2018
- Notes:
- ©2018 AI Access Foundation. All rights reserved.
- Licence:
- Other
If you are the owner of this record, you can report an update to it here: Report update to this record