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: OWLObjectProperty): OWLObjectInverseOf

    Definition Classes

    ClassExpressions

20.  val iriPrefix: String

    Definition Classes

    SWRLArgs

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

    Definition Classes

    ClassExpressions

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

    Definition Classes

    ClassExpressions

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

    Definition Classes

    ClassExpressions

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

    Definition Classes

    ClassExpressions

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

    Definition Classes

    ClassExpressions

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

    Definition Classes

    ClassExpressions

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

    Definition Classes

    SWRLAtoms

28.  val swrlbAbs: SWRLBuiltIn

    Definition Classes

    SWRLAtoms

29.  implicit object AnnotationSubjectAnnotatable extends Annotatable[OWLAnnotationSubject]

    Definition Classes

    AnnotationSubjects

30.  implicit object AnnotationValueValuer extends AnnotationValuer[OWLAnnotationValue]

    Definition Classes

    Values

31.  implicit object BooleanLiterable extends Literalable[Boolean]

    Definition Classes

    Values

32.  object Class extends NamedObjectConstructor[OWLClass]

    Definition Classes

    Entities

33.  object ClassAssertion

    Definition Classes

    IndividualAxioms

34.  object DataProperty extends NamedObjectConstructor[OWLDataProperty]

    Definition Classes

    Entities

35.  object DataSomeValuesFrom

    Definition Classes

    DataExpressions

36.  object DisjointClasses extends NaryClassAxiom[OWLDisjointClassesAxiom]

    Definition Classes

    ClassAxioms

37.  implicit object DoubleLiterable extends Literalable[Double]

    Definition Classes

    Values

38.  object EquivalentClasses extends NaryClassAxiom[OWLEquivalentClassesAxiom]

    Definition Classes

    ClassAxioms

39.  object EquivalentObjectProperties

    Definition Classes

    PropertyAxioms

40.  implicit object FloatLiterable extends Literalable[Float]

    Definition Classes

    Values

41.  implicit object IndividualArgish extends SWRLIArgish[OWLIndividual]

    Definition Classes

    SWRLArgs

42.  implicit object IntLiterable extends Literalable[Int]

    Definition Classes

    Values

43.  object InverseObjectProperties

    Definition Classes

    PropertyAxioms

44.  implicit object LiteralLiterable extends Literalable[OWLLiteral]

    Definition Classes

    Values

45.  object NamedIndividual extends NamedObjectConstructor[OWLNamedIndividual]

    Definition Classes

    Entities

46.  implicit object NamedObjectAnnotatable extends Annotatable[OWLNamedObject]

    Definition Classes

    AnnotationSubjects

47.  implicit object NamedObjectValuer extends AnnotationValuer[OWLNamedObject]

    Definition Classes

    Values

48.  object ObjectComplementOf

    Definition Classes

    ObjectExpressions

49.  object ObjectHasSelf

    Definition Classes

    ObjectExpressions

50.  object ObjectHasValue

    Definition Classes

    ObjectExpressions

51.  object ObjectIntersectionOf

    Definition Classes

    ObjectExpressions

52.  object ObjectInverseOf

    Definition Classes

    ObjectExpressions

53.  object ObjectOneOf

    Definition Classes

    ObjectExpressions

54.  object ObjectProperty extends NamedObjectConstructor[OWLObjectProperty]

    Definition Classes

    Entities

55.  object ObjectPropertyAssertion extends ObjectPropertyAssertionAxiom[OWLObjectPropertyAssertionAxiom]

    Definition Classes

    IndividualAxioms

56.  object ObjectPropertyDomain

    Definition Classes

    PropertyAxioms

57.  object ObjectPropertyRange

    Definition Classes

    PropertyAxioms

58.  object ObjectSomeValuesFrom

    Definition Classes

    ObjectExpressions

59.  object ObjectUnionOf

    Definition Classes

    ObjectExpressions

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

    Definition Classes

    PropertyAxioms

61.  implicit object StringLiterable extends Literalable[String]

    Definition Classes

    Values

62.  object SubClassOf

    Definition Classes

    ClassAxioms

63.  object SubObjectPropertyChainOf

    Definition Classes

    PropertyAxioms

64.  object SubObjectPropertyOf

    Definition Classes

    PropertyAxioms

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

    Definition Classes

    SWRLArgs

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

    Definition Classes

    PropertyAxioms

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

    Definition Classes

    SWRLArgs