| OWL 1.0 Reference D. | Formal Spec | Feature Synopsis | DAML+OIL Spec of 03/2001 | PPS - XML Pres | Comment |
|---|---|---|---|---|---|
| Non-Logical Stuff | |||||
| owl:Ontology | Ontology | missing | ? DAML+OIL Spec of 03/2001 | ? PPS - XML Pres | |
| owl:versionInfo | - | missing | ? DAML+OIL Spec of 03/2001 | ? PPS - XML Pres | |
| owl:imports | include | Imports | ? DAML+OIL Spec of 03/2001 | ? PPS - XML Pres | Technically what is done is inclusion |
| Class elements | |||||
| owl:Class | Class | class | Class | ? PPS - XML Pres |
Why not rdfs:Class if MT is compatible ?
Maybe problematic:
use of both owl:Class and rdfs:Class in Class Expressions
(in Ref Descr.), where boolean combinations should be
enclosed in |
| owl:disjointWith | DisjointClasses | disjoint | DAML+OIL Spec of 03/2001 | PPS - XML Pres | |
| owl:disjointUnionOf | Missing | Missing | DAML+OIL Spec of 03/2001 | PPS - XML Pres | |
| owl:sameClassAs | EquivalentClasses | sameClassAs | DAML+OIL Spec of 03/2001 | PPS - XML Pres | |
| owl:equivalentTo | EquivalentClasses | missing | DAML+OIL Spec of 03/2001 | PPS - XML Pres | Can drop equivalentTo since applies to class expressions only ? |
| Property restrictions | |||||
| owl:allValuesFrom | allValuesFrom | eachValueFrom | DAML+OIL Spec of 03/2001 | PPS - XML Pres | |
| someValuesFrom | someValueFrom | someValueFrom | DAML+OIL Spec of 03/2001 | PPS - XML Pres | |
| owl:cardinality | exactly | hasExactly | DAML+OIL Spec of 03/2001 | PPS - XML Pres | |
| maxCardinality | atmost | hasAtMost | DAML+OIL Spec of 03/2001 | PPS - XML Pres | |
| owl:minCardinality | atleast | hasAtLeast | DAML+OIL Spec of 03/2001 | PPS - XML Pres | |
| Boolean combination of class expressions | |||||
| owl:intersectionOf | IntersectionOf | intersectionOf | DAML+OIL Spec of 03/2001 | PPS - XML Pres | |
| unionOf | UnionOf | unionOf | DAML+OIL Spec of 03/2001 | PPS - XML Pres | |
| complementOf | ComplementOf | complementOf | DAML+OIL Spec of 03/2001 | PPS - XML Pres | |
| Property elements | |||||
| ObjectProperty | IndividualProperty | missing | DAML+OIL Spec of 03/2001 | PPS - XML Pres | |
| samePropertyAs | EquivalentProperties | samePropertyAs | DAML+OIL Spec of 03/2001 | PPS - XML Pres | |
| owl:UniqueProperty | Functional | functional | DAML+OIL Spec of 03/2001 | PPS - XML Pres | |
| owl:UnambiguosProperty | InverseFunctional | isTheOnlyValueFor | DAML+OIL Spec of 03/2001 | PPS - XML Pres | |
| Facts, Instances, Objects or Individuals. | |||||
| Do dummy users know by default that we refer to the same thing ? examples ObjectProperty as a name, Instances as title of head in OWL R.D., fact ::= individual in F.S. ... | |||||
| Individual | Instance | Individidual | DAML+OIL Spec of 03/2001 | PPS - XML Pres | |
| differentIndividualFrom | DifferentIndividuals | differentIndividualFrom | DAML+OIL Spec of 03/2001 | PPS - XML Pres | |
| sameIndividualAs, sameIndividual in text | SameIndividual | sameIndividualAs | DAML+OIL Spec of 03/2001 | PPS - XML Pres | |