Consequence-based reasoning for description logics with disjunctions and number restrictions
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...
| Asıl Yazarlar: | , , , , , |
|---|---|
| Materyal Türü: | Journal article |
| Baskı/Yayın Bilgisi: |
AI Access Foundation, Inc.
2018
|
| Konular: |
Search Result 1
Consequence-based reasoning for description logics with disjunctions and number restrictions
Baskı/Yayın Bilgisi 2018
Journal article