Browse wiki

From Odp

Jump to: navigation, search
Ontology:OntoClean Meta-Property Ontology
CoversRequirement Are the different uses of the subclass relation used consistently?
Description An OWL version of the OntoClean (meta) Ontology of Properties
HasDownloadNumber 544  +
Justification OntoClean was one of the first (if not the OntoClean was one of the first (if not the first) formal tools for ontological analysis, which was intended to clarify the different types of taxonomic structures typically seen in ontologies. The most common OntoClean distinction is rigidity. See http://semanticweb.org/wiki/OntoClean See http://semanticweb.org/wiki/OntoClean
LongDescription The axiomitization of OntoClean in S5 moda The axiomitization of OntoClean in S5 modal logic entails certain constraints between classes in a taxonomy. These constraints are well within the expressive power of OWL, given the ability to view the *classes* as an "abox" and declare their metaproperties using the rdf:type relation. One very simple way to accomplish this, is to take the OWL version of an ontology, and in a text editor replace owl:class with "http://www.ontoclean.org/ontoclean-dl-v1.owl#Class", and import this ontology. Then add the rdf:type relations to indicate which classes are rigid, dependent, etc. Any OWL reasoner will be able to find inconsistencies in the taxonomy as a result. consistencies in the taxonomy as a result.
Modification dateThis property is a special property in this wiki. 5 March 2010 22:36:55  +
Name OntoClean Meta-Property Ontology  +
OntologyAuthor Chris Welty  +, Nicola Guarino  +
OntologyOrganization LOA-CNR  +
OntologyPurpose To express the constraints of the OntoClean ontology as OWL axioms.
OntologyURI http://www.ontoclean.org/ontoclean-dl-v1.owl  +
RecommendedBy Chris Welty  +
SubmittedBy ChrisWelty +
Categories Ontology +
hide properties that link here 
References/OntoClean Wiki Entry +, References/OntoClean Wikipedia article + ReferenceSubject
 

 

Enter the name of the page to start browsing from.
Personal tools
Quality Committee
Content OP publishers