PropertyAxioms

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

5. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

6. object AsymmetricObjectProperty extends UnaryObjectPropertyAxiom[OWLAsymmetricObjectPropertyAxiom, OWLObjectPropertyExpression]

7. object DataPropertyDomain

8. object DataPropertyRange

9. object DisjointDataProperties

10. object DisjointObjectProperties

11. object EquivalentDataProperties

12. object EquivalentObjectProperties

13. object FunctionalDataProperty extends UnaryObjectPropertyAxiom[OWLFunctionalDataPropertyAxiom, OWLDataPropertyExpression]

14. object FunctionalObjectProperty extends UnaryObjectPropertyAxiom[OWLFunctionalObjectPropertyAxiom, OWLObjectPropertyExpression]

15. object InverseFunctionalObjectProperty extends UnaryObjectPropertyAxiom[OWLInverseFunctionalObjectPropertyAxiom, OWLObjectPropertyExpression]

16. object InverseObjectProperties

17. object IrreflexiveObjectProperty extends UnaryObjectPropertyAxiom[OWLIrreflexiveObjectPropertyAxiom, OWLObjectPropertyExpression]

18. object ObjectPropertyDomain

19. object ObjectPropertyRange

20. object ReflexiveObjectProperty extends UnaryObjectPropertyAxiom[OWLReflexiveObjectPropertyAxiom, OWLObjectPropertyExpression]

21. object SubDataPropertyOf

22. object SubObjectPropertyChainOf

23. object SubObjectPropertyOf

24. object SymmetricObjectProperty extends UnaryObjectPropertyAxiom[OWLSymmetricObjectPropertyAxiom, OWLObjectPropertyExpression]

25. object TransitiveObjectProperty extends UnaryObjectPropertyAxiom[OWLTransitiveObjectPropertyAxiom, OWLObjectPropertyExpression]

26. final def asInstanceOf[T0]: T0

    Definition Classes

    Any

27. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

28. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

29. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

30. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

31. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

32. def hashCode(): Int

    Definition Classes

    AnyRef → Any

33. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

34. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

35. final def notify(): Unit

    Definition Classes

    AnyRef

36. final def notifyAll(): Unit

    Definition Classes

    AnyRef

37. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

38. def toString(): String

    Definition Classes

    AnyRef → Any

39. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

40. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

41. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )