From: Pat Hayes ([email protected])
Date: 11/29/01
>
>Untouchable - should not make it into the model theory
Why? (Because they use constructions defined by rdf:parseType??)
>
> Ontology versionInfo imports
>
> unionOf intersectionOf disjointUnionOf oneOf
> complementOf
>
> onProperty toClass hasValue
> hasClass minCardinality maxCardinality cardinality
> hasClassQ minCardinalityQ maxCardinalityQ cardinalityQ
>
> equivalentTo sameClassAs samePropertyAs sameIndividualAs
> disjointWith differentIndividualFrom inverseOf
Pat
--
---------------------------------------------------------------------
IHMC (850)434 8903 home
40 South Alcaniz St. (850)202 4416 office
Pensacola, FL 32501 (850)202 4440 fax
[email protected]
http://www.coginst.uwf.edu/~phayes
This archive was generated by hypermail 2.1.4 : 04/02/02 EST