An Extension of Regularity Conditions for Complex Role Inclusion Axioms
by
Yevgeny Kazakov
| Citations: | 1 - 0 self |
BibTeX
@MISC{Kazakov_anextension,
author = {Yevgeny Kazakov},
title = {An Extension of Regularity Conditions for Complex Role Inclusion Axioms},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The description logic (DL) SROIQ [1] provides a logical foundation for the new version of the web ontology language OWL 2. 1 In comparison to the DL SHOIN which underpins the first version of OWL, 2 SROIQ provides several new constructors for classes and axioms. One of the new powerful features of
