implicit final class ScowlIndividual extends AnyVal
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- ScowlIndividual
- AnyVal
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new ScowlIndividual(self: OWLIndividual)
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- Any
- final def ##(): Int
- Definition Classes
- Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- Any
- def DifferentFrom(other: OWLIndividual, more: OWLIndividual*): OWLDifferentIndividualsAxiom
- def Fact[T](negative: ScowlNegativeDataPropertyValue[T])(implicit arg0: Literalable[T]): OWLNegativeDataPropertyAssertionAxiom
- def Fact(negative: ScowlNegativeObjectPropertyValue): OWLNegativeObjectPropertyAssertionAxiom
- def Fact[T](property: OWLDataPropertyExpression, value: T)(implicit arg0: Literalable[T]): OWLDataPropertyAssertionAxiom
- def Fact(property: OWLObjectPropertyExpression, value: OWLIndividual): OWLObjectPropertyAssertionAxiom
- def Facts(facts: (OWLObjectPropertyExpression, OWLIndividual)*): Set[OWLObjectPropertyAssertionAxiom]
- def SameAs(other: OWLIndividual, more: OWLIndividual*): OWLSameIndividualAxiom
- def Type(owlClass: OWLClassExpression): OWLClassAssertionAxiom
- def Types(owlClass: OWLClassExpression, more: OWLClassExpression*): Set[OWLClassAssertionAxiom]
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- val self: OWLIndividual
- def toString(): String
- Definition Classes
- Any
- def ~(other: OWLIndividual): OWLObjectOneOf