scowl

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. object @@

   

   Definition Classes

   DataExpressions

6. object Annotation

   

   Definition Classes

   AnnotationAxioms

7. object AnnotationAssertion

   

   Definition Classes

   AnnotationAxioms

8. object AnnotationProperty extends NamedObjectConstructor[OWLAnnotationProperty]

   

   Definition Classes

   Entities

9. implicit object AnnotationSubjectAnnotatable extends Annotatable[OWLAnnotationSubject]

   

   Definition Classes

   AnnotationSubjects

10. implicit object AnnotationValueValuer extends AnnotationValuer[OWLAnnotationValue]

    

    Definition Classes

    Values

11. object AnonymousIndividual

    

    Definition Classes

    Entities

12. object Asymmetric extends ObjectPropertyOnlyCharacteristic[OWLAsymmetricObjectPropertyAxiom]

    

    Definition Classes

    PropertyCharacteristics

13. object AsymmetricObjectProperty extends UnaryObjectPropertyAxiom[OWLAsymmetricObjectPropertyAxiom, OWLObjectPropertyExpression]

    

    Definition Classes

    PropertyAxioms

14. implicit object BooleanLiterable extends Literalable[Boolean]

    

    Definition Classes

    Values

15. object Class extends NamedObjectConstructor[OWLClass]

    

    Definition Classes

    Entities

16. object ClassAssertion

    

    Definition Classes

    IndividualAxioms

17. object DataAllValuesFrom

    

    Definition Classes

    DataExpressions

18. object DataComplementOf

    

    Definition Classes

    DataExpressions

19. object DataIntersectionOf

    

    Definition Classes

    DataExpressions

20. object DataOneOf

    

    Definition Classes

    DataExpressions

21. object DataProperty extends NamedObjectConstructor[OWLDataProperty]

    

    Definition Classes

    Entities

22. object DataPropertyAssertion extends DataPropertyAssertionAxiom[OWLDataPropertyAssertionAxiom]

    

    Definition Classes

    IndividualAxioms

23. object DataPropertyDomain

    

    Definition Classes

    PropertyAxioms

24. object DataPropertyRange

    

    Definition Classes

    PropertyAxioms

25. object DataSomeValuesFrom

    

    Definition Classes

    DataExpressions

26. object Datatype extends NamedObjectConstructor[OWLDatatype]

    

    Definition Classes

    Entities

27. object DatatypeDefinition

    

    Definition Classes

    DataExpressions

28. object DatatypeRestriction

    

    Definition Classes

    DataExpressions

29. object Declaration

    

    Definition Classes

    AnnotationAxioms

30. object DifferentIndividuals extends NaryIndividualsAxiom[OWLDifferentIndividualsAxiom]

    

    Definition Classes

    IndividualAxioms

31. object DisjointClasses extends NaryClassAxiom[OWLDisjointClassesAxiom]

    

    Definition Classes

    ClassAxioms

32. object DisjointDataProperties

    

    Definition Classes

    PropertyAxioms

33. object DisjointObjectProperties

    

    Definition Classes

    PropertyAxioms

34. object DisjointUnion

    

    Definition Classes

    ClassAxioms

35. implicit object DoubleLiterable extends Literalable[Double]

    

    Definition Classes

    Values

36. object EquivalentClasses extends NaryClassAxiom[OWLEquivalentClassesAxiom]

    

    Definition Classes

    ClassAxioms

37. object EquivalentDataProperties

    

    Definition Classes

    PropertyAxioms

38. object EquivalentObjectProperties

    

    Definition Classes

    PropertyAxioms

39. implicit object FloatLiterable extends Literalable[Float]

    

    Definition Classes

    Values

40. object Functional extends PropertyCharacteristic[OWLFunctionalObjectPropertyAxiom, OWLFunctionalDataPropertyAxiom]

    

    Definition Classes

    PropertyCharacteristics

41. object FunctionalDataProperty extends UnaryObjectPropertyAxiom[OWLFunctionalDataPropertyAxiom, OWLDataPropertyExpression]

    

    Definition Classes

    PropertyAxioms

42. object FunctionalObjectProperty extends UnaryObjectPropertyAxiom[OWLFunctionalObjectPropertyAxiom, OWLObjectPropertyExpression]

    

    Definition Classes

    PropertyAxioms

43. object HasKey

    

    Definition Classes

    ClassAxioms

44. def Individual(): OWLAnonymousIndividual

    

    Definition Classes

    Entities

45. def Individual(iri: String): OWLNamedIndividual

    

    Definition Classes

    Entities

46. def Individual(iri: IRI): OWLNamedIndividual

    

    Definition Classes

    Entities

47. implicit object IndividualArgish extends SWRLIArgish[OWLIndividual]

    

    Definition Classes

    SWRLArgs

48. implicit object IntLiterable extends Literalable[Int]

    

    Definition Classes

    Values

49. object InverseFunctional extends ObjectPropertyOnlyCharacteristic[OWLInverseFunctionalObjectPropertyAxiom]

    

    Definition Classes

    PropertyCharacteristics

50. object InverseFunctionalObjectProperty extends UnaryObjectPropertyAxiom[OWLInverseFunctionalObjectPropertyAxiom, OWLObjectPropertyExpression]

    

    Definition Classes

    PropertyAxioms

51. object InverseObjectProperties

    

    Definition Classes

    PropertyAxioms

52. object Irreflexive extends ObjectPropertyOnlyCharacteristic[OWLIrreflexiveObjectPropertyAxiom]

    

    Definition Classes

    PropertyCharacteristics

53. object IrreflexiveObjectProperty extends UnaryObjectPropertyAxiom[OWLIrreflexiveObjectPropertyAxiom, OWLObjectPropertyExpression]

    

    Definition Classes

    PropertyAxioms

54. implicit object LiteralLiterable extends Literalable[OWLLiteral]

    

    Definition Classes

    Values

55. object NamedIndividual extends NamedObjectConstructor[OWLNamedIndividual]

    

    Definition Classes

    Entities

56. implicit object NamedObjectAnnotatable extends Annotatable[OWLNamedObject]

    

    Definition Classes

    AnnotationSubjects

57. implicit object NamedObjectValuer extends AnnotationValuer[OWLNamedObject]

    

    Definition Classes

    Values

58. object NegativeDataPropertyAssertion extends DataPropertyAssertionAxiom[OWLNegativeDataPropertyAssertionAxiom]

    

    Definition Classes

    IndividualAxioms

59. object NegativeObjectPropertyAssertion extends ObjectPropertyAssertionAxiom[OWLNegativeObjectPropertyAssertionAxiom]

    

    Definition Classes

    IndividualAxioms

60. val OWLNothing: OWLClass

    

    Definition Classes

    Vocab

61. val OWLThing: OWLClass

    

    Definition Classes

    Vocab

62. object ObjectAllValuesFrom

    

    Definition Classes

    ObjectExpressions

63. object ObjectComplementOf

    

    Definition Classes

    ObjectExpressions

64. object ObjectExactCardinality

    

    Definition Classes

    ObjectExpressions

65. object ObjectHasSelf

    

    Definition Classes

    ObjectExpressions

66. object ObjectHasValue

    

    Definition Classes

    ObjectExpressions

67. object ObjectIntersectionOf

    

    Definition Classes

    ObjectExpressions

68. object ObjectInverseOf

    

    Definition Classes

    ObjectExpressions

69. object ObjectMaxCardinality

    

    Definition Classes

    ObjectExpressions

70. object ObjectMinCardinality

    

    Definition Classes

    ObjectExpressions

71. object ObjectOneOf

    

    Definition Classes

    ObjectExpressions

72. object ObjectProperty extends NamedObjectConstructor[OWLObjectProperty]

    

    Definition Classes

    Entities

73. object ObjectPropertyAssertion extends ObjectPropertyAssertionAxiom[OWLObjectPropertyAssertionAxiom]

    

    Definition Classes

    IndividualAxioms

74. object ObjectPropertyDomain

    

    Definition Classes

    PropertyAxioms

75. object ObjectPropertyRange

    

    Definition Classes

    PropertyAxioms

76. object ObjectSomeValuesFrom

    

    Definition Classes

    ObjectExpressions

77. object ObjectUnionOf

    

    Definition Classes

    ObjectExpressions

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

    

    Definition Classes

    Entities

79. val RDFSComment: OWLAnnotationProperty

    

    Definition Classes

    Vocab

80. val RDFSLabel: OWLAnnotationProperty

    

    Definition Classes

    Vocab

81. object Reflexive extends ObjectPropertyOnlyCharacteristic[OWLReflexiveObjectPropertyAxiom]

    

    Definition Classes

    PropertyCharacteristics

82. object ReflexiveObjectProperty extends UnaryObjectPropertyAxiom[OWLReflexiveObjectPropertyAxiom, OWLObjectPropertyExpression]

    

    Definition Classes

    PropertyAxioms

83. object SameIndividual extends NaryIndividualsAxiom[OWLSameIndividualAxiom]

    

    Definition Classes

    IndividualAxioms

84. implicit object StringLiterable extends Literalable[String]

    

    Definition Classes

    Values

85. object SubClassOf

    

    Definition Classes

    ClassAxioms

86. object SubDataPropertyOf

    

    Definition Classes

    PropertyAxioms

87. object SubObjectPropertyChainOf

    

    Definition Classes

    PropertyAxioms

88. object SubObjectPropertyOf

    

    Definition Classes

    PropertyAxioms

89. implicit object SymbolArgish extends SWRLIArgish[Symbol] with SWRLDArgish[Symbol]

    

    Definition Classes

    SWRLArgs

90. object Symmetric extends ObjectPropertyOnlyCharacteristic[OWLSymmetricObjectPropertyAxiom]

    

    Definition Classes

    PropertyCharacteristics

91. object SymmetricObjectProperty extends UnaryObjectPropertyAxiom[OWLSymmetricObjectPropertyAxiom, OWLObjectPropertyExpression]

    

    Definition Classes

    PropertyAxioms

92. object Transitive extends ObjectPropertyOnlyCharacteristic[OWLTransitiveObjectPropertyAxiom]

    

    Definition Classes

    PropertyCharacteristics

93. object TransitiveObjectProperty extends UnaryObjectPropertyAxiom[OWLTransitiveObjectPropertyAxiom, OWLObjectPropertyExpression]

    

    Definition Classes

    PropertyAxioms

94. implicit object VariableArgish extends SWRLIArgish[SWRLVariable] with SWRLDArgish[SWRLVariable]

    

    Definition Classes

    SWRLArgs

95. val XSDBoolean: OWLDatatype

    

    Definition Classes

    Vocab

96. val XSDDouble: OWLDatatype

    

    Definition Classes

    Vocab

97. val XSDFloat: OWLDatatype

    

    Definition Classes

    Vocab

98. val XSDInteger: OWLDatatype

    

    Definition Classes

    Vocab

99. object XSDMaxInclusive extends FacetRestriction

    

    Definition Classes

    DataExpressions

100. object XSDMinInclusive extends FacetRestriction

     

     Definition Classes

     DataExpressions

101. val XSDNonNegativeInteger: OWLDatatype

     

     Definition Classes

     Vocab

102. object ^^

     

     Definition Classes

     DataExpressions

103. package converters

     

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

     

     Definition Classes

     SWRLAtoms

105. package example

     

106. def inverse(property: OWLObjectPropertyExpression): OWLObjectInverseOf

     

     Definition Classes

     ClassExpressions

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

     

     Definition Classes

     ClassExpressions

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

     

     Definition Classes

     ClassExpressions

109. def not(dataRange: OWLDataRange): OWLDataComplementOf

     

     Definition Classes

     ClassExpressions

110. def not(classExpression: OWLClassExpression): OWLObjectComplementOf

     

     Definition Classes

     ClassExpressions

111. package ofn

     

112. package omn

     

113. def oneOf(literals: OWLLiteral*): OWLDataOneOf

     

     Definition Classes

     ClassExpressions

114. def oneOf(individuals: OWLNamedIndividual*): OWLObjectOneOf

     

     Definition Classes

     ClassExpressions

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

     

     Definition Classes

     SWRLAtoms

116. val swrlbAbs: SWRLBuiltIn

     

     Definition Classes

     SWRLAtoms