BFO OWL Ontology

From Semantic Portal Wiki

Contents 1 Overview 2 Domain Concept Coverage 3 Concept Modeling 3.1 inheritance 3.2 disjointed classes 3.3 complex relation 3.4 mapping to other ontology 4 Semantic Web Language Feature Usage 4.1 Usage of OWL Constructs 4.2 Meta Usage of Semantic Web Terms 4.2.1 classes populated in this ontology (POP-C) 4.2.2 properties populated in this ontology (POP-P) 4.2.3 classes defined in this ontology (DEF-C) 4.2.4 properties defined in this ontology (DEF-P) 4.3 Class Hierarchy (Frame-ish view)

Overview

documentation: http://www.ifomis.org/bfo

Domain Concept Coverage

axillary

• bfo:Entity
  • snap:Continuant
    • snap:IndependentContinuant
      • snap:ObjectBoundary
      • snap:Site
      • snap:MaterialEntity
        • snap:FiatObjectPart
        • snap:Object
        • snap:ObjectAggregate

spatial

• • • snap:SpatialRegion
      • snap:ThreeDimensionalRegion
      • snap:ZeroDimensionalRegion
      • snap:TwoDimensionalRegion
      • snap:OneDimensionalRegion
    • snap:DependentContinuant
      • snap:GenericallyDependentContinuant
      • snap:SpecificallyDependentContinuant
        • snap:Quality
        • snap:RealizableEntity
          • snap:Disposition
          • snap:Role
          • snap:Function

temporal

• • • span:TemporalRegion
      • span:ScatteredTemporalRegion
      • span:ConnectedTemporalRegion
        • span:TemporalInstant
        • span:TemporalInterval

tempo-spatial

• • • span:SpatiotemporalRegion
      • span:ConnectedSpatiotemporalRegion
        • span:SpatiotemporalInterval
        • span:SpatiotemporalInstant
      • span:ScatteredSpatiotemporalRegion

event

• • span:Occurrent
    • span:ProcessualEntity
      • span:ProcessualContext
      • span:ProcessAggregate
      • span:FiatProcessPart
      • span:ProcessBoundary
      • span:Process

Concept Modeling

inheritance

• class hierarchy

disjointed classes

	<owl:Class rdf:about="&snap;Continuant">
		<rdfs:subClassOf rdf:resource="&bfo;Entity"/>
		<owl:equivalentClass>
			<owl:Class>
				<owl:unionOf rdf:parseType="Collection">
					<owl:Class rdf:about="&snap;DependentContinuant"/>
					<owl:Class rdf:about="&snap;IndependentContinuant"/>
					<owl:Class rdf:about="&snap;SpatialRegion"/>
				</owl:unionOf>
			</owl:Class>
		</owl:equivalentClass>
		<owl:disjointWith rdf:resource="&span;Occurrent"/>
		<rdfs:label rdf:datatype="&xsd;string">continuant</rdfs:label>
		<rdfs:comment rdf:datatype="&xsd;string">Definition: An entity [bfo:Entity] that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts.</rdfs:comment>
		<rdfs:comment rdf:datatype="&xsd;string">Examples: a heart, a person, the color of a tomato, the mass of a cloud, a symphony orchestra, the disposition of blood to coagulate, the lawn and atmosphere in front of our building</rdfs:comment>
		<rdfs:comment rdf:datatype="&xsd;string">Synonyms: endurant</rdfs:comment>
	</owl:Class>

complex relation

	<owl:Class rdf:about="&span;ProcessualEntity">
		<rdfs:subClassOf rdf:resource="&span;Occurrent"/>
		<owl:equivalentClass>
			<owl:Class>
				<owl:unionOf rdf:parseType="Collection">
					<owl:Class rdf:about="&span;FiatProcessPart"/>
					<owl:Class rdf:about="&span;Process"/>
					<owl:Class rdf:about="&span;ProcessAggregate"/>
					<owl:Class rdf:about="&span;ProcessBoundary"/>						
					<owl:Class rdf:about="&span;ProcessualContext"/>
				</owl:unionOf>
			</owl:Class>
		</owl:equivalentClass>
		<owl:disjointWith rdf:resource="&span;TemporalRegion"/>
		<owl:disjointWith rdf:resource="&span;SpatiotemporalRegion"/>
		<rdfs:label rdf:datatype="&xsd;string">processual_entity</rdfs:label>
		<rdfs:comment rdf:datatype="&xsd;string">Definition: An occurrent [span:Occurrent] that exists in time by occurring or happening, has temporal parts and always involves and depends on some entity.</rdfs:comment>
		<rdfs:comment rdf:datatype="&xsd;string">Examples: the life of an organism, the process of meiosis, the course of a disease, the flight of a bird</rdfs:comment>
	</owl:Class>

mapping to other ontology

the following features were used

• owl:equivalentClass
• rdfs:subClassOf
• rdfs:subPropertyOf

 <owl:Class rdf:about="http://purl.org/net/provenance/ns#Actor">
            <owl:equivalentClass>
              <owl:Class rdf:about="http://xmlns.com/foaf/0.1/Agent"/>
            </owl:equivalentClass>

            <rdfs:isDefinedBy rdf:resource="http://purl.org/net/provenance/ns"/>
            <rdfs:label xml:lang="en">Actor</rdfs:label>
            <rdfs:comment rdf:parseType="Literal">Actor is a general class that represents actors which usually performed the execution (see the class <a href="#Execution" xml:lang="en" xmlns="http://www.w3.org/1999/xhtml">Execution</a>) of an action or a process.</rdfs:comment>
          </owl:Class>

Semantic Web Language Feature Usage

Below are some general information about this ontology. The analytical results are generated based on Semantic Web Ontology Analysis Techniques.

RDF

{{#vardefine:ns| }}{{#vardefine:p|number of triples }}{{#vardefine:v|463 }}

OWL

{{#vardefine:ns| }}{{#vardefine:p|OWL Species }}{{#vardefine:v|DL }} - note there are two concepts not defined making it OWL Full. {{#vardefine:ns| }}{{#vardefine:p|DL Expressivity }}{{#vardefine:v|ALC(D) }}

AL - Attribute Logic: Conjunction, Universal Value Restriction, Limited Existential Quantification 
C - Complement (together with AL allows Disjunction, Full Existential Quantification) 
(D) - Datatypes

Usage of OWL Constructs

OWL Validation (execute)

• Union
• Individuals
• IndividualData
• Disjoint
• Partial
• Complete

Meta Usage of Semantic Web Terms

(see Semantic Web Ontology Analysis Techniques#Meta Usage)

classes populated in this ontology (POP-C)

• Category:owl:AnnotationProperty
• Category:owl:Class
• Category:owl:Ontology

properties populated in this ontology (POP-P)

note: this ontology also redefines classes from other ontology, such as foaf:Agent. we skipped those definition

• Property:dc:contributor
• Property:dc:creator
• Property:dc:format
• Property:dc:identifier
• Property:dc:language
• Property:dc:publisher
• Property:dc:rights
• Property:dc:source
• Property:dc:title
• Property:rdf:first
• Property:rdf:rest
• Property:rdf:type
• Property:rdfs:comment
• Property:rdfs:label
• Property:rdfs:subClassOf
• Property:owl:disjointWith
• Property:owl:equivalentClass
• Property:owl:unionOf
• Property:owl:versionInfo

classes defined in this ontology (DEF-C)

 xmlns:bfo="http://www.ifomis.org/bfo/1.1#"
 xmlns:snap="http://www.ifomis.org/bfo/1.1/snap#"
 xmlns:span="http://www.ifomis.org/bfo/1.1/span#"

1. Category:bfo:Entity
2. Category:snap:Continuant
3. Category:snap:DependentContinuant
4. Category:snap:Disposition
5. Category:snap:FiatObjectPart
6. Category:snap:Function
7. Category:snap:GenericallyDependentContinuant
8. Category:snap:IndependentContinuant
9. Category:snap:MaterialEntity
10. Category:snap:Object
11. Category:snap:ObjectAggregate
12. Category:snap:ObjectBoundary
13. Category:snap:OneDimensionalRegion
14. Category:snap:Quality
15. Category:snap:RealizableEntity
16. Category:snap:Role
17. Category:snap:Site
18. Category:snap:SpatialRegion
19. Category:snap:SpecificallyDependentContinuant
20. Category:snap:ThreeDimensionalRegion
21. Category:snap:TwoDimensionalRegion
22. Category:snap:ZeroDimensionalRegion
23. Category:span:ConnectedSpatiotemporalRegion
24. Category:span:ConnectedTemporalRegion
25. Category:span:FiatProcessPart
26. Category:span:Occurrent
27. Category:span:Process
28. Category:span:ProcessAggregate
29. Category:span:ProcessBoundary
30. Category:span:ProcessualContext
31. Category:span:ProcessualEntity
32. Category:span:ScatteredSpatiotemporalRegion
33. Category:span:ScatteredTemporalRegion
34. Category:span:SpatiotemporalInstant
35. Category:span:SpatiotemporalInterval
36. Category:span:SpatiotemporalRegion
37. Category:span:TemporalInstant
38. Category:span:TemporalInterval
39. Category:span:TemporalRegion

properties defined in this ontology (DEF-P)

note: this ontology also redefines properties from other ontology, such as dc:source

Class Hierarchy (Frame-ish view)

• bfo:Entity
  • snap:Continuant
    • snap:IndependentContinuant
      • snap:ObjectBoundary
      • snap:Site
      • snap:MaterialEntity
        • snap:FiatObjectPart
        • snap:Object
        • snap:ObjectAggregate
    • snap:SpatialRegion
      • snap:ThreeDimensionalRegion
      • snap:ZeroDimensionalRegion
      • snap:TwoDimensionalRegion
      • snap:OneDimensionalRegion
    • snap:DependentContinuant
      • snap:GenericallyDependentContinuant
      • snap:SpecificallyDependentContinuant
        • snap:Quality
        • snap:RealizableEntity
          • snap:Disposition
          • snap:Role
          • snap:Function
  • span:Occurrent
    • span:ProcessualEntity
      • span:ProcessualContext
      • span:ProcessAggregate
      • span:FiatProcessPart
      • span:ProcessBoundary
      • span:Process
    • span:SpatiotemporalRegion
      • span:ConnectedSpatiotemporalRegion
        • span:SpatiotemporalInterval
        • span:SpatiotemporalInstant
      • span:ScatteredSpatiotemporalRegion
    • span:TemporalRegion
      • span:ScatteredTemporalRegion
      • span:ConnectedTemporalRegion
        • span:TemporalInstant
        • span:TemporalInterval