Matches in LOV for { <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#isConstraintFor> ?p ?o. }
Showing items 1 to 9 of
9
with 100 items per page.
- isConstraintFor type ObjectProperty.
- isConstraintFor comment "A relation between parameters and entities. It allows to assert generic constraints (encoded as parameters), e.g. MinimumAgeForDriving isConstraintFor John (where John is a legal subject under the TrafficLaw).\nThe intended semantics (not expressible in OWL) is that a Parameter isConstraintFor and Entity if the Parameter isParameterFor a Concept that classifies that Entity; moreover, it entails that a Parameter parametrizes a Region that isRegionFor that Entity. The use in OWL is therefore a shortcut to annotate what Parameter constrains what Entity".
- isConstraintFor domain Parameter.
- isConstraintFor isDefinedBy DUL.owl.
- isConstraintFor label "is constraint for".
- isConstraintFor label "è un vincolo per".
- isConstraintFor range Entity.
- isConstraintFor subPropertyOf classifies.
- isConstraintFor inverseOf hasConstraint.