OWL 2 functional-style syntax
E641813
OWL 2 functional-style syntax is a formal, logic-oriented textual notation for writing OWL 2 ontologies in a precise and machine-readable way.
Statements (50)
| Predicate | Object |
|---|---|
| instanceOf |
formal language
ⓘ
machine-readable syntax ⓘ ontology syntax ⓘ textual notation ⓘ |
| conformsTo | OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax NERFINISHED ⓘ |
| definedIn | OWL 2 Web Ontology Language Document Overview NERFINISHED ⓘ |
| hasAdvantage |
direct mapping to OWL 2 structural specification
ⓘ
suitable for formal proofs and reasoning about ontologies ⓘ |
| hasCharacteristic |
formal
ⓘ
logic-oriented ⓘ machine-processable ⓘ text-based ⓘ unambiguous ⓘ |
| hasDesignGoal |
close correspondence to OWL 2 structural specification
ⓘ
ease of parsing by tools ⓘ precise specification of OWL 2 ontologies ⓘ |
| hasExampleConstruct |
ClassAssertion(...) axiom
ⓘ
Declaration(...) axiom ⓘ ObjectPropertyAssertion(...) axiom ⓘ Ontology(...) expression ⓘ SubClassOf(...) axiom ⓘ |
| hasKeywordStyle | capitalized construct names ⓘ |
| hasNotationStyle | parenthesized functional notation ⓘ |
| hasScope |
OWL 2 DL
NERFINISHED
ⓘ
OWL 2 Full NERFINISHED ⓘ |
| hasSemanticsDefinedBy | OWL 2 model-theoretic semantics ⓘ |
| introducedWith | OWL 2 recommendation NERFINISHED ⓘ |
| isAlternativeTo |
OWL 2 Manchester syntax
NERFINISHED
ⓘ
OWL 2 RDF/XML syntax NERFINISHED ⓘ OWL 2 Turtle-based syntaxes NERFINISHED ⓘ OWL 2 XML syntax NERFINISHED ⓘ |
| partOf | OWL 2 specification NERFINISHED ⓘ |
| primarilyIntendedFor |
ontology language designers
ⓘ
tool developers ⓘ |
| publicationYear | 2009 ⓘ |
| relatedTo |
description logics
ⓘ
semantic web standards ⓘ |
| represents |
annotations in OWL 2
ⓘ
classes in OWL 2 ⓘ data properties in OWL 2 ⓘ datatypes in OWL 2 ⓘ individuals in OWL 2 ⓘ object properties in OWL 2 ⓘ ontology axioms ⓘ |
| standardizedBy |
W3C
NERFINISHED
ⓘ
World Wide Web Consortium NERFINISHED ⓘ |
| supports | description logic semantics of OWL 2 ⓘ |
| usedFor |
defining OWL 2 ontologies in a precise way
ⓘ
specifying OWL 2 axioms ⓘ writing OWL 2 ontologies ⓘ |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.