Value Members

1.  def <[T](value: T)(implicit arg0: Literalable[T]): OWLFacetRestriction

   Definition Classes

   Facets

2.  def <=[T](value: T)(implicit arg0: Literalable[T]): OWLFacetRestriction

   Definition Classes

   Facets

3.  def >[T](value: T)(implicit arg0: Literalable[T]): OWLFacetRestriction

   Definition Classes

   Facets

4.  def >=[T](value: T)(implicit arg0: Literalable[T]): OWLFacetRestriction

   Definition Classes

   Facets

5.  def Individual(): OWLAnonymousIndividual

   Definition Classes

   Entities

6.  def Individual(iri: String): OWLNamedIndividual

   Definition Classes

   Entities

7.  def Individual(iri: IRI): OWLNamedIndividual

   Definition Classes

   Entities

8.  val OWLNothing: OWLClass

   Definition Classes

   Vocab

9.  val OWLThing: OWLClass

   Definition Classes

   Vocab

10.  def Ontology(iri: String, axioms: Set[OWLAxiom]): OWLOntology

    Definition Classes

    Entities

11.  val RDFSComment: OWLAnnotationProperty

    Definition Classes

    Vocab

12.  val RDFSLabel: OWLAnnotationProperty

    Definition Classes

    Vocab

13.  val XSDBoolean: OWLDatatype

    Definition Classes

    Vocab

14.  val XSDDouble: OWLDatatype

    Definition Classes

    Vocab

15.  val XSDFloat: OWLDatatype

    Definition Classes

    Vocab

16.  val XSDInteger: OWLDatatype

    Definition Classes

    Vocab

17.  val XSDNonNegativeInteger: OWLDatatype

    Definition Classes

    Vocab

18.  def differentFrom[S, O](subj: S, obj: O)(implicit arg0: SWRLIArgish[S], arg1: SWRLIArgish[O]): SWRLDifferentIndividualsAtom

    Definition Classes

    SWRLAtoms

19.  def inverse(property: OWLObjectPropertyExpression): OWLObjectInverseOf

    Definition Classes

    ClassExpressions

20.  def not[T](property: OWLDataPropertyExpression, value: T)(implicit arg0: Literalable[T]): ScowlNegativeDataPropertyValue[T]

    Definition Classes

    ClassExpressions

21.  def not(property: OWLObjectPropertyExpression, value: OWLIndividual): ScowlNegativeObjectPropertyValue

    Definition Classes

    ClassExpressions

22.  def not(dataRange: OWLDataRange): OWLDataComplementOf

    Definition Classes

    ClassExpressions

23.  def not(classExpression: OWLClassExpression): OWLObjectComplementOf

    Definition Classes

    ClassExpressions

24.  def oneOf(literals: OWLLiteral*): OWLDataOneOf

    Definition Classes

    ClassExpressions

25.  def oneOf(individuals: OWLNamedIndividual*): OWLObjectOneOf

    Definition Classes

    ClassExpressions

26.  def sameAs[S, O](subj: S, obj: O)(implicit arg0: SWRLIArgish[S], arg1: SWRLIArgish[O]): SWRLSameIndividualAtom

    Definition Classes

    SWRLAtoms

27.  val swrlbAbs: SWRLBuiltIn

    Definition Classes

    SWRLAtoms

28.  implicit object AnnotationSubjectAnnotatable extends Annotatable[OWLAnnotationSubject]

    Definition Classes

    AnnotationSubjects

29.  implicit object AnnotationValueValuer extends AnnotationValuer[OWLAnnotationValue]

    Definition Classes

    Values

30.  implicit object BooleanLiterable extends Literalable[Boolean]

    Definition Classes

    Values

31.  object Class extends NamedObjectConstructor[OWLClass]

    Definition Classes

    Entities

32.  object ClassAssertion

    Definition Classes

    IndividualAxioms

33.  object DisjointClasses extends NaryClassAxiom[OWLDisjointClassesAxiom]

    Definition Classes

    ClassAxioms

34.  implicit object DoubleLiterable extends Literalable[Double]

    Definition Classes

    Values

35.  object EquivalentClasses extends NaryClassAxiom[OWLEquivalentClassesAxiom]

    Definition Classes

    ClassAxioms

36.  object EquivalentObjectProperties

    Definition Classes

    PropertyAxioms

37.  implicit object FloatLiterable extends Literalable[Float]

    Definition Classes

    Values

38.  implicit object IndividualArgish extends SWRLIArgish[OWLIndividual]

    Definition Classes

    SWRLArgs

39.  implicit object IntLiterable extends Literalable[Int]

    Definition Classes

    Values

40.  object InverseObjectProperties

    Definition Classes

    PropertyAxioms

41.  implicit object LiteralLiterable extends Literalable[OWLLiteral]

    Definition Classes

    Values

42.  object NamedIndividual extends NamedObjectConstructor[OWLNamedIndividual]

    Definition Classes

    Entities

43.  implicit object NamedObjectAnnotatable extends Annotatable[OWLNamedObject]

    Definition Classes

    AnnotationSubjects

44.  implicit object NamedObjectValuer extends AnnotationValuer[OWLNamedObject]

    Definition Classes

    Values

45.  object ObjectComplementOf

    Definition Classes

    ObjectExpressions

46.  object ObjectHasSelf

    Definition Classes

    ObjectExpressions

47.  object ObjectHasValue

    Definition Classes

    ObjectExpressions

48.  object ObjectIntersectionOf

    Definition Classes

    ObjectExpressions

49.  object ObjectInverseOf

    Definition Classes

    ObjectExpressions

50.  object ObjectOneOf

    Definition Classes

    ObjectExpressions

51.  object ObjectProperty extends NamedObjectConstructor[OWLObjectProperty]

    Definition Classes

    Entities

52.  object ObjectPropertyAssertion extends ObjectPropertyAssertionAxiom[OWLObjectPropertyAssertionAxiom]

    Definition Classes

    IndividualAxioms

53.  object ObjectPropertyDomain

    Definition Classes

    PropertyAxioms

54.  object ObjectPropertyRange

    Definition Classes

    PropertyAxioms

55.  object ObjectSomeValuesFrom

    Definition Classes

    ObjectExpressions

56.  object ObjectUnionOf

    Definition Classes

    ObjectExpressions

57.  object ReflexiveObjectProperty extends UnaryObjectPropertyAxiom[OWLReflexiveObjectPropertyAxiom, OWLObjectPropertyExpression]

    Definition Classes

    PropertyAxioms

58.  implicit object StringLiterable extends Literalable[String]

    Definition Classes

    Values

59.  object SubClassOf

    Definition Classes

    ClassAxioms

60.  object SubObjectPropertyChainOf

    Definition Classes

    PropertyAxioms

61.  object SubObjectPropertyOf

    Definition Classes

    PropertyAxioms

62.  implicit object SymbolArgish extends SWRLIArgish[Symbol] with SWRLDArgish[Symbol]

    Definition Classes

    SWRLArgs

63.  object TransitiveObjectProperty extends UnaryObjectPropertyAxiom[OWLTransitiveObjectPropertyAxiom, OWLObjectPropertyExpression]

    Definition Classes

    PropertyAxioms

64.  implicit object VariableArgish extends SWRLIArgish[SWRLVariable] with SWRLDArgish[SWRLVariable]

    Definition Classes

    SWRLArgs