(iff (qualityOfAt a b t) (and (Quality a) (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))) // axiom label in BFO2 CLIF: [056-002]
First: I think this is overspecified. BFO-FOL-alpha-2012-05-21 is better:
/
\item[qualityOfAt(a, b, t)] --- ``a is a quality of b at time t''. [056-001]
/
(iff (qualityOfAt a b t)
(and (Quality a)
(IndependentContinuant b)
(specificallyDependsOn a b t)
)
)
We can translate 056-001 to OWL axioms in order to infer the sub-relation from domain and range using the OWL self-restriction trick. Whether it's a good idea to add these axioms is open: they will obfuscate an already complicated ontology. However, they can be quite useful. I would add in an auxhiliary ontology. Not high priority until someone needs this.
From cmung...@gmail.com on November 27, 2012 17:27:31
Example:
quality-of-at-all-times has the CLIF definition:
(iff (qualityOfAt a b t) (and (Quality a) (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))) // axiom label in BFO2 CLIF: [056-002]
First: I think this is overspecified. BFO-FOL-alpha-2012-05-21 is better:
/ \item[qualityOfAt(a, b, t)] --- ``a is a quality of b at time t''. [056-001] / (iff (qualityOfAt a b t) (and (Quality a) (IndependentContinuant b) (specificallyDependsOn a b t) ) )
We can translate 056-001 to OWL axioms in order to infer the sub-relation from domain and range using the OWL self-restriction trick. Whether it's a good idea to add these axioms is open: they will obfuscate an already complicated ontology. However, they can be quite useful. I would add in an auxhiliary ontology. Not high priority until someone needs this.
Original issue: http://code.google.com/p/bfo/issues/detail?id=135