- From: Ian Horrocks <Ian.Horrocks@comlab.ox.ac.uk>
- Date: Tue, 23 Oct 2007 16:39:07 +0100
- To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
- Cc: hendler@cs.rpi.edu, public-owl-wg@w3.org
I raised a new issue [1] w.r.t. the typos Peter has pointed out plus the one I noted earlier. Ian [1] http://code.google.com/p/owl1-1/issues/detail?id=58 On 23 Oct 2007, at 16:10, Peter F. Patel-Schneider wrote: > > From: Jim Hendler <hendler@cs.rpi.edu> > Subject: Re: comments on RDF mapping > Date: Tue, 23 Oct 2007 09:33:53 -0400 > >> [...] for now >> it would help just to have the vocabulary stuff pulled out [...] >> -JH > > > URLs with special status in OWL written as RDF > > > Used in both OWL S&AS and OWL1.1 RDF Mapping: > > owl:AnnotationProperty > owl:Class > owl:DataRange > owl:DatatypeProperty > owl:FunctionalProperty > owl:InverseFunctionalProperty > owl:ObjectProperty > owl:Ontology > owl:Restriction > owl:SymmetricProperty > owl:TransitiveProperty > owl:allValuesFrom > owl:cardinality > owl:complementOf > owl:differentFrom > owl:disjointWith > owl:equivalentClass > owl:equivalentProperty > owl:hasValue > owl:imports > owl:intersectionOf > owl:inverseOf > owl:maxCardinality > owl:minCardinality > owl:onProperty > owl:oneOf > owl:sameAs > owl:someValuesFrom > owl:unionOf > > > Used only in OWL S&AS: Comment > > owl:AllDifferent Alternative mapping for DifferentIndividuals axiom > owl:distinctMembers > > owl:DeprecatedClass Used in special "annotations" > owl:DeprecatedProperty > > owl:OntologyProperty Used for ontology properties > > owl:backwardCompatibleWith Built-in OWL DL annotation properties - OK > owl:priorVersion > owl:incompatibleWith > owl:versionInfo > > owl:Nothing Built-in OWL Classes - OK > owl:Thing > > owl:equivalentTo Removed before REC - OK > owl:IndividualProperty > owl:sameIndividualAs > > owl:Symmetric Typo in OWL S&AS! - owl:SymmetricProperty - OK > > > Used only in OWL1.1 RDF Mapping: > > owl:Datatype Typo - rdfs:Datatype > owl:FunctionalDataProperty Typo - owl11:FunctionalDataProperty > owl:FunctionalPropety Typo - owl:FunctionalProperty > > > New vocabulary for OWL 1.1 RDF mapping: > > owl11:AsymmetricProperty Typing triples > owl11:FunctionalDataProperty > owl11:FunctionalObjectProperty > owl11:IrreflexiveProperty > owl11:ReflexiveProperty > owl11:Individual > owl11:declaredAs > > owl11:equivalentDataProperty Disambiguation for > EquivalentProperties axiom > owl11:equivalentObjectProperty > > owl11:subDataPropertyOf Disambiguation for SubProperty axiom > owl11:subObjectPropertyOf > > owl11:DataRestriction Disambiguation for restriction construct > owl11:ObjectRestriction > > owl11:dataPropertyDomain Disambiguation for domain construct > owl11:objectPropertyDomain > > owl11:dataPropertyRange Disambiguation for range construct > owl11:objectPropertyRange > > owl11:Axiom Annotations of axioms > > owl11:NegativeDataPropertyAssertion For new OWL 1.1 constructs > owl11:NegativeObjectPropertyAssertion > owl11:SelfRestriction > owl11:onClass > owl11:onDataRange > owl11:disjointDataProperties > owl11:disjointObjectProperties > owl11:disjointUnionOf > owl11:inverseObjectPropertyExpression > owl11:<XSD facet> > > owl11:FunctionalDataPropety Typo - owl11:FunctionalDataProperty >
Received on Tuesday, 23 October 2007 15:39:24 UTC