W3C home > Mailing lists > Public > public-owl-wg@w3.org > October 2008

RE: ACTION-232 analysis of differences between functional syntax keywords and RDF syntax URIs

From: Michael Schneider <schneid@fzi.de>
Date: Sat, 25 Oct 2008 01:05:10 +0200
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A0E05B34@judith.fzi.de>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: <public-owl-wg@w3.org>
The most significant difference in naming is IMO

>        DisjointProperties      owl:propertyDisjointWith


>-----Original Message-----
>From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org]
>On Behalf Of Peter F. Patel-Schneider
>Sent: Thursday, October 23, 2008 2:16 PM
>To: public-owl-wg@w3.org
>Subject: ACTION-232 analysis of differences between functional syntax
>keywords and RDF syntax URIs
>        Divergence between Functional Syntax and RDF Syntax
>This mostly relates to functional syntax keywords and RDF syntax URIs.
>Keywords and URIs that don't show in OWL 1 are often tagged with "2".
>There is exact correspondence for some constructs (at least with respect
>to keywords).  Such cases are indicated by "exact".  Sometimes there are
>non-OWL namespaces, which is indicated by "".
>In the functional syntax all keywords have initial capitals.  In RDF
>classes have initial capitals but properties don't.   Such differences
>are are indicated by "cap" below.
>The RDF syntax has to make name distinctions for functional syntax
>constructs with optional parts.   Differences resulting from this are
>indicated with "opt".
>exact           all built-in classes
>exact           all built-in properties
>exact           all datatypes
>exact           all facets
>cap     IntersectionOf          owl:intersectionOf
>cap     UnionOf                 owl:unionOf
>cap     ComplementOf            owl:complementOf
>cap     OneOf                   owl:oneOf
>cap     AllValuesFrom           owl:allValuesFrom
>cap     SomeValuesFrom          owl:someValuesFrom
>cap     HasValue                owl:hasValue
>        ExistsSelf 2            owl:SelfRestriction 2
>cap     Cardinality             owl:cardinality
>cap     MaxCardinality          owl:maxCardinality
>cap     MinCardinality          owl:minCardinality
>opt     Cardinality             owl:qualifiedCardinality
>opt     MaxCardinality          owl:maxQualifiedCardinality
>opt     MinCardinality          owl:minQualifiedCardinality
>cap/nm  SubClassOf              rdfs:subClassOf
>        EquivalentClasses       owl:equivalentClass
>        DisjointClasses         owl:disjointWith
>        DisjointClasses         owl:AllDisjointClasses 2
>cap     DisjointUnionOf         owl:disjointUnionOf
>        ComplementOf            owl:datatypeComplementOf 2
>        DatatypeRestriction 2   owl:withRestrictions 2
>cap     PropertyChain 2         owl:propertyChain 2
>cap     InverseOf               owl:inverseOf
>cap/nm  SubPropertyOf           rdfs:subPropertyOf
>        PropertyDomain 2        rdfs:domain
>        PropertyRange 2         rdfs:range
>        EquivalentProperties    owl:equivalentProperty
>        DisjointProperties      owl:propertyDisjointWith
>        DisjointProperties      owl:AllDisjointProperties
>        InverseProperties 2     owl:inverseOf
>exact   FunctionalProperty      owl:FunctionalProperty
>exact   InverseFunctionalProperty owl:InverseFunctionalProperty
>exact   ReflexiveProperty       owl:ReflexiveProperty
>exact   IrreflexiveProperty     owl:IrreflexiveProperty
>exact   SymmetricProperty       owl:SymmetricProperty
>exact   AsymmetricProperty      owl:AsymmetricProperty
>exact   TransitiveProperty      owl:TransitiveProperty
>cap     HasKey 2                owl:hasKey 2
>        SameIndividual          owl:sameAs
>        DifferentIndividuals    owl:differentFrom
>        DifferentIndividuals    owl:AllDifferent
>        ClassAssertion 2        rdf:type
>        PropertyAssertion 2     ---
>exact   NegativePropertyAssertion 2 owl:NegativePropertyAssertion 2
>        Declaration 2             rdf:type
>exact   Annotation                owl:Annotation
>cap     Label                     rdfs:label
>cap     Comment                   rdfs:comment
>cap     Deprecated                owl:deprecated 2
>exact   Ontology                  owl:Ontology
>        Import 2                  owl:imports

Received on Friday, 24 October 2008 23:05:50 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:07 UTC