Warning:
This wiki has been archived and is now read-only.
FullSemantics
The overview page about OWL 2 Full semantics.
There are two sets of language feature categories: One for all the new features of OWL 2, and another set for selected features of OWL 1. Each of the feature categories has a dedicated Wiki page, which can be reached by clicking on the respective category name.
Contents
Semantics of Language Features
Standard states:
- "N/A": not available (work on this feature has not yet started)
- "WIP": work in progress (not intended to be reviewed by WG yet)
- "no audit": needs final audit (not intended to be reviewed by WG yet)
- "ready": the proposal is ready for review by the WG (but: ready ⊭ finished)
New OWL 2 Language Feature Categories
Feature Category | State | Comment |
---|---|---|
Axiom Annotations | ready | under consideration: syntax uses RDF Reification |
Datatype Restrictions | WIP | still under slight consideration: RDF syntax and DL semantics |
Disjoint Properties | ready | |
Disjoint Unions | ready | |
Easy Keys | no audit | alternative to IFDPs (still under discussion) |
IFF Expressions | WIP | the IFF semantics of boolean class expressions and enumerations |
Inverse Property Expressions | ready | |
Language Ranges | N/A | feature currently under discussion |
Named Individuals | ready | |
N-ary Axioms | ready | |
N-ary Datatypes | WIP | feature under discussion |
N-ary Predicates | WIP | feature still under discussion |
Negative Property Assertions | ready | |
Property Characteristics | ready | reflexive, irreflexive and asymmetric properties |
Universal Property | ready | the top and bottom property |
Qualified Cardinality Restrictions | ready | |
Self Restrictions | ready | under consideration: Russell Paradox |
Sub Property Chains | WIP |
Old OWL 1 Language Feature Categories
Currently not all old language features are treated here, but only some which are specifically interesting.
For everything else, see the original OWL 1 Full semantics.
Feature Category | State | Comment |
---|---|---|
AllDifferent axioms | ready | missing main semantic condition |
Axiomatic Triples | WIP | many are missing(?) in OWL 1 Full |
Comprehension Principles | ready | only general comprehension principles |
Data Conditions | N/A | subsidiary semantic conditions for datatypes, data values and, data properties |
Data Ranges | WIP | usage has been deprecated; semantics are aligned to rdfs:Datatype |
Deprecation | ready | |
Enumerations | N/A | |
Imports | ready | how import directives work in OWL 2 Full |
RDFS Axioms | WIP | the table containing subClassOf, subPropertyOf, domain, range |
Sequence based Axioms | ready | semantic conditions with a sequence as their argument |
Conventions
Terminology follows OWL 1 except where noted. In particular:
- S_I
- interprets the URIs of the OWL vocabulary (including RDF and RDFS vocabulary)
- EXT_I
- maps domain-elements to their property extension
- CEXT_I
- maps domain-elements to their class extension
- IOT
- individuals (in Full just all resources)
- LV_I
- literal values (also individuals in Full)
- IOC
- classes
- IOR
- restrictions (also classes in Full)
- IDC
- datatypes (also classes in Full)
- IOOP
- object properties (in Full just all properties)
- IODP
- data properties (also object properties in Full)
Editing Help
- Use <sub> and <sup> for lowering and highering indexes
- Set mathematical formulas in /' '...' '/ for rendering them in a slanted style
- Write tuples as "(x,y)" instead of "<x,y>", or use <nowiki>
A list of mathematical symbols:
≠ < ≤ > ≥ ◦ ∈ ∉ ∨ ∧ ¬ → ↔ ∀ ∃ ∩ ∪ ⊆ × ∅ 〈 〉 … ⊨
(Additional symbols can be obtained from the Font "Arial Unicode MS")