Package

org.phenoscape

scowl

Permalink

package scowl

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. scowl
  2. Facets
  3. PropertyCharacteristics
  4. ClassExpressions
  5. DataExpressions
  6. ObjectExpressions
  7. PropertyAxioms
  8. IndividualAxioms
  9. ClassAxioms
  10. AnnotationAxioms
  11. Entities
  12. Vocab
  13. AnyRef
  14. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. sealed trait Literalable[T] extends AnyRef

    Permalink
  2. case class ObjectPropertyChain(properties: List[OWLObjectPropertyExpression]) extends Product with Serializable

    Permalink
    Definition Classes
    ObjectExpressions
  3. implicit final class ScowlAnnotationSubject extends AnyVal

    Permalink
  4. implicit final class ScowlAxiom extends AnyVal

    Permalink
  5. implicit final class ScowlClassExpression extends AnyVal

    Permalink
  6. implicit final class ScowlDataOneOf extends AnyVal

    Permalink
  7. implicit final class ScowlDataProperty extends AnyVal

    Permalink
  8. implicit final class ScowlDataRange extends AnyVal

    Permalink
  9. implicit final class ScowlDataType extends AnyVal

    Permalink
  10. implicit final class ScowlIndividual extends AnyVal

    Permalink
  11. implicit final class ScowlLiteral extends AnyVal

    Permalink
  12. implicit final class ScowlLiteralString extends AnyVal

    Permalink
  13. implicit final class ScowlNamedObject extends AnyVal

    Permalink
  14. implicit final class ScowlObjectOneOf extends AnyVal

    Permalink
  15. implicit final class ScowlObjectProperty extends AnyVal

    Permalink
  16. trait Vocab extends AnyRef

    Permalink

Value Members

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

    Permalink
    Definition Classes
    Facets
  2. def <=[T](value: T)(implicit arg0: Literalable[T]): OWLFacetRestriction

    Permalink
    Definition Classes
    Facets
  3. def >[T](value: T)(implicit arg0: Literalable[T]): OWLFacetRestriction

    Permalink
    Definition Classes
    Facets
  4. def >=[T](value: T)(implicit arg0: Literalable[T]): OWLFacetRestriction

    Permalink
    Definition Classes
    Facets
  5. object @@

    Permalink
    Definition Classes
    DataExpressions
  6. object Annotation

    Permalink
    Definition Classes
    AnnotationAxioms
  7. object AnnotationAssertion

    Permalink
    Definition Classes
    AnnotationAxioms
  8. object AnnotationProperty extends NamedObjectConstructor[OWLAnnotationProperty]

    Permalink
    Definition Classes
    Entities
  9. object AnonymousIndividual

    Permalink
    Definition Classes
    Entities
  10. object Asymmetric extends ObjectPropertyOnlyCharacteristic[OWLAsymmetricObjectPropertyAxiom]

    Permalink
    Definition Classes
    PropertyCharacteristics
  11. object AsymmetricObjectProperty extends UnaryObjectPropertyAxiom[OWLAsymmetricObjectPropertyAxiom, OWLObjectPropertyExpression]

    Permalink
    Definition Classes
    PropertyAxioms
  12. object Class extends NamedObjectConstructor[OWLClass]

    Permalink
    Definition Classes
    Entities
  13. object ClassAssertion

    Permalink
    Definition Classes
    IndividualAxioms
  14. object DataOneOf

    Permalink
    Definition Classes
    DataExpressions
  15. object DataProperty extends NamedObjectConstructor[OWLDataProperty]

    Permalink
    Definition Classes
    Entities
  16. object DataPropertyAssertion extends DataPropertyAssertionAxiom[OWLDataPropertyAssertionAxiom]

    Permalink
    Definition Classes
    IndividualAxioms
  17. object DataPropertyDomain

    Permalink
    Definition Classes
    PropertyAxioms
  18. object DataPropertyRange

    Permalink
    Definition Classes
    PropertyAxioms
  19. object Datatype extends NamedObjectConstructor[OWLDatatype]

    Permalink
    Definition Classes
    Entities
  20. object DatatypeDefinition

    Permalink
    Definition Classes
    DataExpressions
  21. object DatatypeRestriction

    Permalink
    Definition Classes
    DataExpressions
  22. object Declaration

    Permalink
    Definition Classes
    AnnotationAxioms
  23. object DifferentIndividuals extends NaryIndividualsAxiom[OWLDifferentIndividualsAxiom]

    Permalink
    Definition Classes
    IndividualAxioms
  24. object DisjointClasses extends NaryClassAxiom[OWLDisjointClassesAxiom]

    Permalink
    Definition Classes
    ClassAxioms
  25. object DisjointObjectProperties

    Permalink
    Definition Classes
    PropertyAxioms
  26. object DisjointUnion

    Permalink
    Definition Classes
    ClassAxioms
  27. object EquivalentClasses extends NaryClassAxiom[OWLEquivalentClassesAxiom]

    Permalink
    Definition Classes
    ClassAxioms
  28. object Functional extends PropertyCharacteristic[OWLFunctionalObjectPropertyAxiom, OWLFunctionalDataPropertyAxiom]

    Permalink
    Definition Classes
    PropertyCharacteristics
  29. object FunctionalDataProperty extends UnaryObjectPropertyAxiom[OWLFunctionalDataPropertyAxiom, OWLDataPropertyExpression]

    Permalink
    Definition Classes
    PropertyAxioms
  30. object FunctionalObjectProperty extends UnaryObjectPropertyAxiom[OWLFunctionalObjectPropertyAxiom, OWLObjectPropertyExpression]

    Permalink
    Definition Classes
    PropertyAxioms
  31. object HasKey

    Permalink
    Definition Classes
    ClassAxioms
  32. def Individual(): OWLAnonymousIndividual

    Permalink
    Definition Classes
    Entities
  33. def Individual(iri: String): OWLNamedIndividual

    Permalink
    Definition Classes
    Entities
  34. def Individual(iri: IRI): OWLNamedIndividual

    Permalink
    Definition Classes
    Entities
  35. object InverseFunctional extends ObjectPropertyOnlyCharacteristic[OWLInverseFunctionalObjectPropertyAxiom]

    Permalink
    Definition Classes
    PropertyCharacteristics
  36. object InverseFunctionalObjectProperty extends UnaryObjectPropertyAxiom[OWLInverseFunctionalObjectPropertyAxiom, OWLObjectPropertyExpression]

    Permalink
    Definition Classes
    PropertyAxioms
  37. object InverseObjectProperties

    Permalink
    Definition Classes
    PropertyAxioms
  38. object Irreflexive extends ObjectPropertyOnlyCharacteristic[OWLIrreflexiveObjectPropertyAxiom]

    Permalink
    Definition Classes
    PropertyCharacteristics
  39. object IrreflexiveObjectProperty extends UnaryObjectPropertyAxiom[OWLIrreflexiveObjectPropertyAxiom, OWLObjectPropertyExpression]

    Permalink
    Definition Classes
    PropertyAxioms
  40. object Literalable

    Permalink
  41. object NamedIndividual extends NamedObjectConstructor[OWLNamedIndividual]

    Permalink
    Definition Classes
    Entities
  42. object NegativeDataPropertyAssertion extends DataPropertyAssertionAxiom[OWLNegativeDataPropertyAssertionAxiom]

    Permalink
    Definition Classes
    IndividualAxioms
  43. object NegativeObjectPropertyAssertion extends ObjectPropertyAssertionAxiom[OWLNegativeObjectPropertyAssertionAxiom]

    Permalink
    Definition Classes
    IndividualAxioms
  44. val OWLNothing: OWLClass

    Permalink
    Definition Classes
    Vocab
  45. val OWLThing: OWLClass

    Permalink
    Definition Classes
    Vocab
  46. object ObjectAllValuesFrom

    Permalink
    Definition Classes
    ObjectExpressions
  47. object ObjectComplementOf

    Permalink
    Definition Classes
    ObjectExpressions
  48. object ObjectExactCardinality

    Permalink
    Definition Classes
    ObjectExpressions
  49. object ObjectHasSelf

    Permalink
    Definition Classes
    ObjectExpressions
  50. object ObjectHasValue

    Permalink
    Definition Classes
    ObjectExpressions
  51. object ObjectIntersectionOf

    Permalink
    Definition Classes
    ObjectExpressions
  52. object ObjectInverseOf

    Permalink
    Definition Classes
    ObjectExpressions
  53. object ObjectMaxCardinality

    Permalink
    Definition Classes
    ObjectExpressions
  54. object ObjectMinCardinality

    Permalink
    Definition Classes
    ObjectExpressions
  55. object ObjectOneOf

    Permalink
    Definition Classes
    ObjectExpressions
  56. object ObjectProperty extends NamedObjectConstructor[OWLObjectProperty]

    Permalink
    Definition Classes
    Entities
  57. object ObjectPropertyAssertion extends ObjectPropertyAssertionAxiom[OWLObjectPropertyAssertionAxiom]

    Permalink
    Definition Classes
    IndividualAxioms
  58. object ObjectPropertyChain extends Serializable

    Permalink
    Definition Classes
    ObjectExpressions
  59. object ObjectPropertyDomain

    Permalink
    Definition Classes
    PropertyAxioms
  60. object ObjectPropertyRange

    Permalink
    Definition Classes
    PropertyAxioms
  61. object ObjectSomeValuesFrom

    Permalink
    Definition Classes
    ObjectExpressions
  62. object ObjectUnionOf

    Permalink
    Definition Classes
    ObjectExpressions
  63. def Ontology(iri: String, axioms: Set[OWLAxiom]): OWLOntology

    Permalink
    Definition Classes
    Entities
  64. val RDFSComment: OWLAnnotationProperty

    Permalink
    Definition Classes
    Vocab
  65. val RDFSLabel: OWLAnnotationProperty

    Permalink
    Definition Classes
    Vocab
  66. object Reflexive extends ObjectPropertyOnlyCharacteristic[OWLReflexiveObjectPropertyAxiom]

    Permalink
    Definition Classes
    PropertyCharacteristics
  67. object ReflexiveObjectProperty extends UnaryObjectPropertyAxiom[OWLReflexiveObjectPropertyAxiom, OWLObjectPropertyExpression]

    Permalink
    Definition Classes
    PropertyAxioms
  68. object SameIndividual extends NaryIndividualsAxiom[OWLSameIndividualAxiom]

    Permalink
    Definition Classes
    IndividualAxioms
  69. object SubClassOf

    Permalink
    Definition Classes
    ClassAxioms
  70. object SubObjectPropertyOf

    Permalink
    Definition Classes
    PropertyAxioms
  71. object Symmetric extends ObjectPropertyOnlyCharacteristic[OWLSymmetricObjectPropertyAxiom]

    Permalink
    Definition Classes
    PropertyCharacteristics
  72. object SymmetricObjectProperty extends UnaryObjectPropertyAxiom[OWLSymmetricObjectPropertyAxiom, OWLObjectPropertyExpression]

    Permalink
    Definition Classes
    PropertyAxioms
  73. object Transitive extends ObjectPropertyOnlyCharacteristic[OWLTransitiveObjectPropertyAxiom]

    Permalink
    Definition Classes
    PropertyCharacteristics
  74. object TransitiveObjectProperty extends UnaryObjectPropertyAxiom[OWLTransitiveObjectPropertyAxiom, OWLObjectPropertyExpression]

    Permalink
    Definition Classes
    PropertyAxioms
  75. val XSDBoolean: OWLDatatype

    Permalink
    Definition Classes
    Vocab
  76. val XSDDouble: OWLDatatype

    Permalink
    Definition Classes
    Vocab
  77. val XSDFloat: OWLDatatype

    Permalink
    Definition Classes
    Vocab
  78. val XSDInteger: OWLDatatype

    Permalink
    Definition Classes
    Vocab
  79. object XSDMaxInclusive extends FacetRestriction

    Permalink
    Definition Classes
    DataExpressions
  80. object XSDMinInclusive extends FacetRestriction

    Permalink
    Definition Classes
    DataExpressions
  81. val XSDNonNegativeInteger: OWLDatatype

    Permalink
    Definition Classes
    Vocab
  82. object ^^

    Permalink
    Definition Classes
    DataExpressions
  83. package example

    Permalink
  84. lazy val factory: OWLDataFactory

    Permalink
    Attributes
    protected
  85. def inverse(property: OWLObjectProperty): OWLObjectInverseOf

    Permalink
    Definition Classes
    ClassExpressions
  86. def not[T](property: OWLDataPropertyExpression, value: T)(implicit arg0: Literalable[T]): ScowlNegativeDataPropertyValue[T]

    Permalink
    Definition Classes
    ClassExpressions
  87. def not(property: OWLObjectPropertyExpression, value: OWLIndividual): ScowlNegativeObjectPropertyValue

    Permalink
    Definition Classes
    ClassExpressions
  88. def not(dataRange: OWLDataRange): OWLDataComplementOf

    Permalink
    Definition Classes
    ClassExpressions
  89. def not(classExpression: OWLClassExpression): OWLObjectComplementOf

    Permalink
    Definition Classes
    ClassExpressions
  90. package ofn

    Permalink
  91. package omn

    Permalink
  92. def oneOf(literals: OWLLiteral*): OWLDataOneOf

    Permalink
    Definition Classes
    ClassExpressions
  93. def oneOf(individuals: OWLNamedIndividual*): OWLObjectOneOf

    Permalink
    Definition Classes
    ClassExpressions

Inherited from Facets

Inherited from PropertyCharacteristics

Inherited from ClassExpressions

Inherited from DataExpressions

Inherited from ObjectExpressions

Inherited from PropertyAxioms

Inherited from IndividualAxioms

Inherited from ClassAxioms

Inherited from AnnotationAxioms

Inherited from Entities

Inherited from Vocab

Inherited from AnyRef

Inherited from Any

Ungrouped