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.  lazy val factory: OWLDataFactory

    Attributes

    protected

19.  def inverse(property: OWLObjectProperty): 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.  object Literalable
27.  object Annotation

    Definition Classes

    AnnotationAxioms

28.  object AnnotationAssertion

    Definition Classes

    AnnotationAxioms

29.  object Declaration

    Definition Classes

    AnnotationAxioms

30.  object DisjointClasses extends NaryClassAxiom[OWLDisjointClassesAxiom]

    Definition Classes

    ClassAxioms

31.  object DisjointUnion

    Definition Classes

    ClassAxioms

32.  object EquivalentClasses extends NaryClassAxiom[OWLEquivalentClassesAxiom]

    Definition Classes

    ClassAxioms

33.  object HasKey

    Definition Classes

    ClassAxioms

34.  object SubClassOf

    Definition Classes

    ClassAxioms

35.  object @@

    Definition Classes

    DataExpressions

36.  object DataOneOf

    Definition Classes

    DataExpressions

37.  object DatatypeDefinition

    Definition Classes

    DataExpressions

38.  object DatatypeRestriction

    Definition Classes

    DataExpressions

39.  object XSDMaxInclusive extends FacetRestriction

    Definition Classes

    DataExpressions

40.  object XSDMinInclusive extends FacetRestriction

    Definition Classes

    DataExpressions

41.  object ^^

    Definition Classes

    DataExpressions

42.  object AnnotationProperty extends NamedObjectConstructor[OWLAnnotationProperty]

    Definition Classes

    Entities

43.  object AnonymousIndividual

    Definition Classes

    Entities

44.  object Class extends NamedObjectConstructor[OWLClass]

    Definition Classes

    Entities

45.  object DataProperty extends NamedObjectConstructor[OWLDataProperty]

    Definition Classes

    Entities

46.  object Datatype extends NamedObjectConstructor[OWLDatatype]

    Definition Classes

    Entities

47.  object NamedIndividual extends NamedObjectConstructor[OWLNamedIndividual]

    Definition Classes

    Entities

48.  object ObjectProperty extends NamedObjectConstructor[OWLObjectProperty]

    Definition Classes

    Entities

49.  object ClassAssertion

    Definition Classes

    IndividualAxioms

50.  object DataPropertyAssertion extends DataPropertyAssertionAxiom[OWLDataPropertyAssertionAxiom]

    Definition Classes

    IndividualAxioms

51.  object DifferentIndividuals extends NaryIndividualsAxiom[OWLDifferentIndividualsAxiom]

    Definition Classes

    IndividualAxioms

52.  object NegativeDataPropertyAssertion extends DataPropertyAssertionAxiom[OWLNegativeDataPropertyAssertionAxiom]

    Definition Classes

    IndividualAxioms

53.  object NegativeObjectPropertyAssertion extends ObjectPropertyAssertionAxiom[OWLNegativeObjectPropertyAssertionAxiom]

    Definition Classes

    IndividualAxioms

54.  object ObjectPropertyAssertion extends ObjectPropertyAssertionAxiom[OWLObjectPropertyAssertionAxiom]

    Definition Classes

    IndividualAxioms

55.  object SameIndividual extends NaryIndividualsAxiom[OWLSameIndividualAxiom]

    Definition Classes

    IndividualAxioms

56.  object ObjectAllValuesFrom

    Definition Classes

    ObjectExpressions

57.  object ObjectComplementOf

    Definition Classes

    ObjectExpressions

58.  object ObjectExactCardinality

    Definition Classes

    ObjectExpressions

59.  object ObjectHasSelf

    Definition Classes

    ObjectExpressions

60.  object ObjectHasValue

    Definition Classes

    ObjectExpressions

61.  object ObjectIntersectionOf

    Definition Classes

    ObjectExpressions

62.  object ObjectInverseOf

    Definition Classes

    ObjectExpressions

63.  object ObjectMaxCardinality

    Definition Classes

    ObjectExpressions

64.  object ObjectMinCardinality

    Definition Classes

    ObjectExpressions

65.  object ObjectOneOf

    Definition Classes

    ObjectExpressions

66.  object ObjectPropertyChain extends Serializable

    Definition Classes

    ObjectExpressions

67.  object ObjectSomeValuesFrom

    Definition Classes

    ObjectExpressions

68.  object ObjectUnionOf

    Definition Classes

    ObjectExpressions

69.  object AsymmetricObjectProperty extends UnaryObjectPropertyAxiom[OWLAsymmetricObjectPropertyAxiom, OWLObjectPropertyExpression]

    Definition Classes

    PropertyAxioms

70.  object DataPropertyDomain

    Definition Classes

    PropertyAxioms

71.  object DataPropertyRange

    Definition Classes

    PropertyAxioms

72.  object DisjointObjectProperties

    Definition Classes

    PropertyAxioms

73.  object FunctionalDataProperty extends UnaryObjectPropertyAxiom[OWLFunctionalDataPropertyAxiom, OWLDataPropertyExpression]

    Definition Classes

    PropertyAxioms

74.  object FunctionalObjectProperty extends UnaryObjectPropertyAxiom[OWLFunctionalObjectPropertyAxiom, OWLObjectPropertyExpression]

    Definition Classes

    PropertyAxioms

75.  object InverseFunctionalObjectProperty extends UnaryObjectPropertyAxiom[OWLInverseFunctionalObjectPropertyAxiom, OWLObjectPropertyExpression]

    Definition Classes

    PropertyAxioms

76.  object InverseObjectProperties

    Definition Classes

    PropertyAxioms

77.  object IrreflexiveObjectProperty extends UnaryObjectPropertyAxiom[OWLIrreflexiveObjectPropertyAxiom, OWLObjectPropertyExpression]

    Definition Classes

    PropertyAxioms

78.  object ObjectPropertyDomain

    Definition Classes

    PropertyAxioms

79.  object ObjectPropertyRange

    Definition Classes

    PropertyAxioms

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

    Definition Classes

    PropertyAxioms

81.  object SubObjectPropertyOf

    Definition Classes

    PropertyAxioms

82.  object SymmetricObjectProperty extends UnaryObjectPropertyAxiom[OWLSymmetricObjectPropertyAxiom, OWLObjectPropertyExpression]

    Definition Classes

    PropertyAxioms

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

    Definition Classes

    PropertyAxioms

84.  object Asymmetric extends ObjectPropertyOnlyCharacteristic[OWLAsymmetricObjectPropertyAxiom]

    Definition Classes

    PropertyCharacteristics

85.  object Functional extends PropertyCharacteristic[OWLFunctionalObjectPropertyAxiom, OWLFunctionalDataPropertyAxiom]

    Definition Classes

    PropertyCharacteristics

86.  object InverseFunctional extends ObjectPropertyOnlyCharacteristic[OWLInverseFunctionalObjectPropertyAxiom]

    Definition Classes

    PropertyCharacteristics

87.  object Irreflexive extends ObjectPropertyOnlyCharacteristic[OWLIrreflexiveObjectPropertyAxiom]

    Definition Classes

    PropertyCharacteristics

88.  object Reflexive extends ObjectPropertyOnlyCharacteristic[OWLReflexiveObjectPropertyAxiom]

    Definition Classes

    PropertyCharacteristics

89.  object Symmetric extends ObjectPropertyOnlyCharacteristic[OWLSymmetricObjectPropertyAxiom]

    Definition Classes

    PropertyCharacteristics

90.  object Transitive extends ObjectPropertyOnlyCharacteristic[OWLTransitiveObjectPropertyAxiom]

    Definition Classes

    PropertyCharacteristics