Matches in LOV for { <http://www.ontotext.com/proton/protonsys#transitiveOver> ?p ?o. }
Showing items 1 to 3 of
3
with 100 items per page.
- transitiveOver type AnnotationProperty.
- transitiveOver comment "Makes possible the modelling of a specific, but rather useful modelling pattern. The semantics is defined with the following axiom: (p,transitiveOver,q) (x,p,y) (y,q,z) => (x,p,z). Sample usage is: (locatedIn, transitiveOver, subRegionOf) (Ontotext,locatedIn,Bulgaria) (Bulgaria,subRegionOf,Europe) => (Ontotext,locatedIn,Europe). The intended domain and range of this property are owl:ObjectProperty; those are not formally specified, in order not to get the ontology outside the OWL DL segment.".
- transitiveOver label "Transitive over".