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