Re: querying DAML+OIL syntax

From: Pat Hayes (phayes@ai.uwf.edu)
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
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes


This archive was generated by hypermail 2.1.4 : 04/02/02 EST