Page History
...
Validation of expressions following OWL Functional-Style Syntax specification
Validation of profile of the OWL ontology generated from the OWL refsets
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
can only have target values from component of concept or expressionConcept ShowParts term t 762705008|Concept model object attribute| All descendants of
can only have target values from data types and it must not have values from component of conceptConcept ShowParts term t 762706009|Concept model data attribute| 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+
...
Display Footnotes Macro |
---|