Page History
...
Validation of expressions following OWL Functional-Style Syntax specification
Validation of profile of the OWL ontology generated from the OWL refsets
Footnote Macro Utilise the OWL API 4 or 5 for profile violation check as part of QA
{+}http://owlcs.github.io/owlapi/apidocs_4/org/semanticweb/owlapi/profiles/OWLProfileViolation.html+
{+}http://owlcs.github.io/owlapi/apidocs_5/org/semanticweb/owlapi/profiles/OWLProfileViolation.html+Each active concept should have at least one active axiom
Each active concept can only have one declaration of Class, Object property, or Data property
Inactive concept must not have active axiom
Active axiom must not contain any inactive component.
Domain and range validation by property types.
All descendants of |Concept model object attribute| can only have target values from component of concept or expression.
All descendants of |Concept model data attribute| can only have target values from data types and it must not have values from component of concept.
...
Display Footnotes Macro |
---|