inference of sub-relations from domain and range (e.g quality_of)

[zhengj2007]

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