Object Property Axioms - Revision history

Adminofwiki at 22:01, 10 September 2016

2016-09-10T22:01:37Z

2016-09-10T22:00:52Z

2016-06-30T14:07:22Z

‎Sources

2016-06-30T14:07:12Z

‎Sources

2016-06-30T14:06:33Z

‎Sources

2016-06-23T18:43:29Z

2016-06-19T18:27:38Z

‎Functional object properties axiom

2016-06-19T18:10:50Z

‎Sources

2016-06-19T15:55:55Z

‎Object property domain axiom

2016-06-19T15:55:48Z

‎Object property range axiom

@@ Line 65: / Line 65: @@
          \end{align}</math>
-=Reflexive object property axiom=
+==Reflexive object property axiom==
 Reflexive means that a property relates to itself.
@@ Line 71: / Line 71: @@
   <math>\forall a \in A\colon\; (a,a) \in R</math>
-=Irreflexive object property axiom=
+==Irreflexive object property axiom==
 Subsequently irreflexive means that no individual relates to itself.
   <math>\forall a \in A\colon\; (a,a) \notin R</math>
-=Object property domain axiom=
+==Object property domain axiom==
 This axiom states that the domain of the object property expression is the class expression.
-=Object property range axiom=
+==Object property range axiom==
 This axiom states that the range of the object property expression is the class expression.
-=SubPropertyChainOf axiom=
+==SubPropertyChainOf axiom==
 These axioms are used to create a chain of multiple properties. E.g. two 'hasParents' properties are linked by a chain thus a 'hasGrandparents' property will be identified.
-=Sources=
+==Sources==
 #''https://www.w3.org/TR/owl2-primer/#Object_Properties/''
 #''https://www.w3.org/TR/owl2-syntax/#Object_Property_Axioms''

@@ Line 71: / Line 71: @@
   <math>\forall a \in A\colon\; (a,a) \in R</math>
-==Irreflexive object property axiom==
+=Irreflexive object property axiom=
 Subsequently irreflexive means that no individual relates to itself.
   <math>\forall a \in A\colon\; (a,a) \notin R</math>
-==Object property domain axiom==
+=Object property domain axiom=
 This axiom states that the domain of the object property expression is the class expression.
-==Object property range axiom==
+=Object property range axiom=
 This axiom states that the range of the object property expression is the class expression.
-==SubPropertyChainOf axiom==
+=SubPropertyChainOf axiom=
 These axioms are used to create a chain of multiple properties. E.g. two 'hasParents' properties are linked by a chain thus a 'hasGrandparents' property will be identified.

@@ Line 86: / Line 86: @@
 =Sources=
 #''https://www.w3.org/TR/owl2-primer/#Object_Properties/''
 #''https://www.w3.org/TR/owl2-syntax/#Object_Property_Axioms''

@@ Line 87: / Line 87: @@
 =Sources=
 #''https://www.w3.org/TR/owl-ref/#Property''
-#''https://www.w3.org/TR/owl2-primer/''
+#''https://www.w3.org/TR/owl2-primer/#Object_Properties/''
 #''https://www.w3.org/TR/owl2-syntax/#Object_Property_Axioms''

@@ Line 88: / Line 88: @@
 #''https://www.w3.org/TR/owl-ref/#Property''
 #''https://www.w3.org/TR/owl2-primer/''
-#''https://www.w3.org/TR/owl2-syntax/''
+#''https://www.w3.org/TR/owl2-syntax/#Object_Property_Axioms''

@@ Line 13: / Line 13: @@
 ==Inverse object properties axiom==
-Properties have a direction defined with domain to range, the inverseof term is used to mirror the direction.
+Properties have a direction defined with domain to range, the 'inverseof' term is used to mirror the direction.
 This Axiom can equally be used on object properties and data properties.
@@ Line 67: / Line 67: @@
 =Reflexive object property axiom=
-Reflexiv means that a property relates to itself.
+Reflexive means that a property relates to itself.
   <math>\forall a \in A\colon\; (a,a) \in R</math>
@@ Line 83: / Line 83: @@
 ==SubPropertyChainOf axiom==
-These axioms are used to create a chain of multiple properties. E.g. two hasParents properties are linked by a chain thus a hasGrandparents property will be identified.
+These axioms are used to create a chain of multiple properties. E.g. two 'hasParents' properties are linked by a chain thus a 'hasGrandparents' property will be identified.
 =Sources=

@@ Line 27: / Line 27: @@
 For an individual 'x', there can be only one definite individual 'y' such that 'x' is connected by the object property expression 'OPE' to 'y'.
-  E.g. a woman can have at most one husband.
+  For example:
   FunctionalObjectProperty( a:hasHusband ) 	                Each object can have at most one husband.
   ObjectPropertyAssertion( a:hasHusband a:Nicole a:Steve ) 	Steve is Nicole's husband.
 ==Inverse functional object properties axiom==