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

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 reported on code.google.com by cmung...@gmail.com on 27 Nov 2012 at 10:27

zhengj2007 / bfo-export

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