// hidden predicates *************************
// axiom contained in MAP ontology?
active(axiom)

// observed **********************************
// confidence value for given axiom
*activeConf(axiom, float_)

// TRex rules in ML
csub(cls, cls)
cdis(cls, cls)
psub(prop, prop)
pdis(prop, prop)
dom(prop, cls)
ran(prop, cls)
psubinv(prop, prop)
pdisinv(prop, prop)

*csubConf(cls, cls, float_)
*cdisConf(cls, cls, float_)
*psubConf(prop, prop, float_)
*pdisConf(prop, prop, float_)
*domConf(prop, cls, float_)
*ranConf(prop, cls, float_)
*psubinvConf(prop, prop, float_)
*pdisinvConf(prop, prop, float_)



//*********************************************
conf: csub(c1, c2) v !csubConf(c1, c2, conf)
conf: cdis(c1, c2) v !cdisConf(c1, c2, conf)
conf: psub(p1, p2) v !psubConf(p1, p2, conf)
conf: pdis(p1, p2) v !pdisConf(p1, p2, conf)
conf: dom(p1, c1) v !domConf(p1, c1, conf)
conf: ran(p1, c1) v !ranConf(p1, c1, conf)
conf: psubinv(p1, p2) v !psubinvConf(p1, p2, conf)
conf: pdisinv(p1, p2) v !pdisinvConf(p1, p2, conf)
//*********************************************

!cdis(c1, c1).
!pdis(p1, p1).

csub(c1, c1).
!cdis(c1, c2) v cdis(c2, c1).
!csub(c1,c2) v !csub(c2,c3) v csub(c1, c3).
!csub(c1,c2) v !cdis(c2,c3) v cdis(c1, c3).

psub(p1,p1).
!pdis(p1, p2) v pdis(p2, p1).
!psub(p1,p2) v !psub(p2,p3) v psub(p1, p3).
!psub(p1,p2) v !pdis(p2,p3) v pdis(p1, p3).

!dom(p,a) v !csub(a,b) v dom(p,b).
!ran(p,a) v !csub(a,b) v ran(p,b).
!psub(p,q) v !dom(q,a) v dom(p,a).
!psub(p,q) v !ran(q,a) v ran(p,a).

// 13
!cdis(a,b) v !dom(p,a) v !dom(p,b) v pdis(p,p).
!cdis(a,b) v !ran(p,a) v !ran(p,b) v pdis(p,p).

//15
!psubinv(p,q) v !dom(q,a) v ran(p,a).
!psubinv(p,q) v !ran(q,a) v dom(p,a).
!psubinv(p,q) v !psubinv(q,r) v psub(p,r).
!psubinv(p,q) v !psub(q,r) v psubinv(p,r).

// 19
!psub(p,q) v !psubinv(q,r) v psubinv(p,r).
!pdisinv(p,q) v !psub(r,q) v pdisinv(p,r).
!psubinv(p,q) v !pdis(q,r) v pdisinv(p,r).

// 22
!psubinv(p,q) v !pdis(q,r) v pdisinv(p,r).
!pdisinv(p,q) v pdisinv(q,p).
!pdisinv(p,p) v pdis(p,p).