org
.
phenoscape
scowl
package
scowl
Linear Supertypes
SWRLArgs
,
Values
,
AnnotationSubjects
,
SWRLAtoms
,
Facets
,
PropertyCharacteristics
,
ClassExpressions
,
DataExpressions
,
ObjectExpressions
,
PropertyAxioms
,
IndividualAxioms
,
ClassAxioms
,
AnnotationAxioms
,
Entities
,
Vocab
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
scowl
SWRLArgs
Values
AnnotationSubjects
SWRLAtoms
Facets
PropertyCharacteristics
ClassExpressions
DataExpressions
ObjectExpressions
PropertyAxioms
IndividualAxioms
ClassAxioms
AnnotationAxioms
Entities
Vocab
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
implicit final
class
ScowlAnnotationSubject
extends
AnyVal
implicit final
class
ScowlAxiom
extends
AnyVal
implicit final
class
ScowlClassExpression
extends
AnyVal
implicit final
class
ScowlDataOneOf
extends
AnyVal
implicit final
class
ScowlDataProperty
extends
AnyVal
implicit final
class
ScowlDataRange
extends
AnyVal
implicit final
class
ScowlDataType
extends
AnyVal
implicit final
class
ScowlIndividual
extends
AnyVal
implicit final
class
ScowlLiteral
extends
AnyVal
implicit final
class
ScowlLiteralString
extends
AnyVal
implicit final
class
ScowlNamedObject
extends
AnyVal
implicit final
class
ScowlObjectOneOf
extends
AnyVal
implicit final
class
ScowlObjectProperty
extends
AnyVal
implicit final
class
ScowlSWRLAtom
extends
AnyVal
trait
Vocab
extends
AnyRef
Value Members
def
<
[
T
]
(
value:
T
)
(
implicit
arg0:
Literalable
[
T
]
)
:
OWLFacetRestriction
Definition Classes
Facets
def
<=
[
T
]
(
value:
T
)
(
implicit
arg0:
Literalable
[
T
]
)
:
OWLFacetRestriction
Definition Classes
Facets
def
>
[
T
]
(
value:
T
)
(
implicit
arg0:
Literalable
[
T
]
)
:
OWLFacetRestriction
Definition Classes
Facets
def
>=
[
T
]
(
value:
T
)
(
implicit
arg0:
Literalable
[
T
]
)
:
OWLFacetRestriction
Definition Classes
Facets
object
@@
Definition Classes
DataExpressions
object
Annotation
Definition Classes
AnnotationAxioms
object
AnnotationAssertion
Definition Classes
AnnotationAxioms
object
AnnotationProperty
extends
NamedObjectConstructor
[
OWLAnnotationProperty
]
Definition Classes
Entities
implicit
object
AnnotationSubjectAnnotatable
extends
Annotatable
[
OWLAnnotationSubject
]
Definition Classes
AnnotationSubjects
implicit
object
AnnotationValueValuer
extends
AnnotationValuer
[
OWLAnnotationValue
]
Definition Classes
Values
object
AnonymousIndividual
Definition Classes
Entities
object
Asymmetric
extends
ObjectPropertyOnlyCharacteristic
[
OWLAsymmetricObjectPropertyAxiom
]
Definition Classes
PropertyCharacteristics
object
AsymmetricObjectProperty
extends
UnaryObjectPropertyAxiom
[
OWLAsymmetricObjectPropertyAxiom
,
OWLObjectPropertyExpression
]
Definition Classes
PropertyAxioms
implicit
object
BooleanLiterable
extends
Literalable
[
Boolean
]
Definition Classes
Values
object
Class
extends
NamedObjectConstructor
[
OWLClass
]
Definition Classes
Entities
object
ClassAssertion
Definition Classes
IndividualAxioms
object
DataAllValuesFrom
Definition Classes
DataExpressions
object
DataComplementOf
Definition Classes
DataExpressions
object
DataIntersectionOf
Definition Classes
DataExpressions
object
DataOneOf
Definition Classes
DataExpressions
object
DataProperty
extends
NamedObjectConstructor
[
OWLDataProperty
]
Definition Classes
Entities
object
DataPropertyAssertion
extends
DataPropertyAssertionAxiom
[
OWLDataPropertyAssertionAxiom
]
Definition Classes
IndividualAxioms
object
DataPropertyDomain
Definition Classes
PropertyAxioms
object
DataPropertyRange
Definition Classes
PropertyAxioms
object
DataSomeValuesFrom
Definition Classes
DataExpressions
object
Datatype
extends
NamedObjectConstructor
[
OWLDatatype
]
Definition Classes
Entities
object
DatatypeDefinition
Definition Classes
DataExpressions
object
DatatypeRestriction
Definition Classes
DataExpressions
object
Declaration
Definition Classes
AnnotationAxioms
object
DifferentIndividuals
extends
NaryIndividualsAxiom
[
OWLDifferentIndividualsAxiom
]
Definition Classes
IndividualAxioms
object
DisjointClasses
extends
NaryClassAxiom
[
OWLDisjointClassesAxiom
]
Definition Classes
ClassAxioms
object
DisjointDataProperties
Definition Classes
PropertyAxioms
object
DisjointObjectProperties
Definition Classes
PropertyAxioms
object
DisjointUnion
Definition Classes
ClassAxioms
implicit
object
DoubleLiterable
extends
Literalable
[
Double
]
Definition Classes
Values
object
EquivalentClasses
extends
NaryClassAxiom
[
OWLEquivalentClassesAxiom
]
Definition Classes
ClassAxioms
object
EquivalentDataProperties
Definition Classes
PropertyAxioms
object
EquivalentObjectProperties
Definition Classes
PropertyAxioms
implicit
object
FloatLiterable
extends
Literalable
[
Float
]
Definition Classes
Values
object
Functional
extends
PropertyCharacteristic
[
OWLFunctionalObjectPropertyAxiom
,
OWLFunctionalDataPropertyAxiom
]
Definition Classes
PropertyCharacteristics
object
FunctionalDataProperty
extends
UnaryObjectPropertyAxiom
[
OWLFunctionalDataPropertyAxiom
,
OWLDataPropertyExpression
]
Definition Classes
PropertyAxioms
object
FunctionalObjectProperty
extends
UnaryObjectPropertyAxiom
[
OWLFunctionalObjectPropertyAxiom
,
OWLObjectPropertyExpression
]
Definition Classes
PropertyAxioms
object
HasKey
Definition Classes
ClassAxioms
def
Individual
()
:
OWLAnonymousIndividual
Definition Classes
Entities
def
Individual
(
iri:
String
)
:
OWLNamedIndividual
Definition Classes
Entities
def
Individual
(
iri:
IRI
)
:
OWLNamedIndividual
Definition Classes
Entities
implicit
object
IndividualArgish
extends
SWRLIArgish
[
OWLIndividual
]
Definition Classes
SWRLArgs
implicit
object
IntLiterable
extends
Literalable
[
Int
]
Definition Classes
Values
object
InverseFunctional
extends
ObjectPropertyOnlyCharacteristic
[
OWLInverseFunctionalObjectPropertyAxiom
]
Definition Classes
PropertyCharacteristics
object
InverseFunctionalObjectProperty
extends
UnaryObjectPropertyAxiom
[
OWLInverseFunctionalObjectPropertyAxiom
,
OWLObjectPropertyExpression
]
Definition Classes
PropertyAxioms
object
InverseObjectProperties
Definition Classes
PropertyAxioms
object
Irreflexive
extends
ObjectPropertyOnlyCharacteristic
[
OWLIrreflexiveObjectPropertyAxiom
]
Definition Classes
PropertyCharacteristics
object
IrreflexiveObjectProperty
extends
UnaryObjectPropertyAxiom
[
OWLIrreflexiveObjectPropertyAxiom
,
OWLObjectPropertyExpression
]
Definition Classes
PropertyAxioms
implicit
object
LiteralLiterable
extends
Literalable
[
OWLLiteral
]
Definition Classes
Values
object
NamedIndividual
extends
NamedObjectConstructor
[
OWLNamedIndividual
]
Definition Classes
Entities
implicit
object
NamedObjectAnnotatable
extends
Annotatable
[
OWLNamedObject
]
Definition Classes
AnnotationSubjects
implicit
object
NamedObjectValuer
extends
AnnotationValuer
[
OWLNamedObject
]
Definition Classes
Values
object
NegativeDataPropertyAssertion
extends
DataPropertyAssertionAxiom
[
OWLNegativeDataPropertyAssertionAxiom
]
Definition Classes
IndividualAxioms
object
NegativeObjectPropertyAssertion
extends
ObjectPropertyAssertionAxiom
[
OWLNegativeObjectPropertyAssertionAxiom
]
Definition Classes
IndividualAxioms
val
OWLNothing
:
OWLClass
Definition Classes
Vocab
val
OWLThing
:
OWLClass
Definition Classes
Vocab
object
ObjectAllValuesFrom
Definition Classes
ObjectExpressions
object
ObjectComplementOf
Definition Classes
ObjectExpressions
object
ObjectExactCardinality
Definition Classes
ObjectExpressions
object
ObjectHasSelf
Definition Classes
ObjectExpressions
object
ObjectHasValue
Definition Classes
ObjectExpressions
object
ObjectIntersectionOf
Definition Classes
ObjectExpressions
object
ObjectInverseOf
Definition Classes
ObjectExpressions
object
ObjectMaxCardinality
Definition Classes
ObjectExpressions
object
ObjectMinCardinality
Definition Classes
ObjectExpressions
object
ObjectOneOf
Definition Classes
ObjectExpressions
object
ObjectProperty
extends
NamedObjectConstructor
[
OWLObjectProperty
]
Definition Classes
Entities
object
ObjectPropertyAssertion
extends
ObjectPropertyAssertionAxiom
[
OWLObjectPropertyAssertionAxiom
]
Definition Classes
IndividualAxioms
object
ObjectPropertyDomain
Definition Classes
PropertyAxioms
object
ObjectPropertyRange
Definition Classes
PropertyAxioms
object
ObjectSomeValuesFrom
Definition Classes
ObjectExpressions
object
ObjectUnionOf
Definition Classes
ObjectExpressions
def
Ontology
(
iri:
String
,
axioms:
Set
[
OWLAxiom
]
)
:
OWLOntology
Definition Classes
Entities
val
RDFSComment
:
OWLAnnotationProperty
Definition Classes
Vocab
val
RDFSLabel
:
OWLAnnotationProperty
Definition Classes
Vocab
object
Reflexive
extends
ObjectPropertyOnlyCharacteristic
[
OWLReflexiveObjectPropertyAxiom
]
Definition Classes
PropertyCharacteristics
object
ReflexiveObjectProperty
extends
UnaryObjectPropertyAxiom
[
OWLReflexiveObjectPropertyAxiom
,
OWLObjectPropertyExpression
]
Definition Classes
PropertyAxioms
object
SameIndividual
extends
NaryIndividualsAxiom
[
OWLSameIndividualAxiom
]
Definition Classes
IndividualAxioms
implicit
object
StringLiterable
extends
Literalable
[
String
]
Definition Classes
Values
object
SubClassOf
Definition Classes
ClassAxioms
object
SubDataPropertyOf
Definition Classes
PropertyAxioms
object
SubObjectPropertyChainOf
Definition Classes
PropertyAxioms
object
SubObjectPropertyOf
Definition Classes
PropertyAxioms
implicit
object
SymbolArgish
extends
SWRLIArgish
[
Symbol
] with
SWRLDArgish
[
Symbol
]
Definition Classes
SWRLArgs
object
Symmetric
extends
ObjectPropertyOnlyCharacteristic
[
OWLSymmetricObjectPropertyAxiom
]
Definition Classes
PropertyCharacteristics
object
SymmetricObjectProperty
extends
UnaryObjectPropertyAxiom
[
OWLSymmetricObjectPropertyAxiom
,
OWLObjectPropertyExpression
]
Definition Classes
PropertyAxioms
object
Transitive
extends
ObjectPropertyOnlyCharacteristic
[
OWLTransitiveObjectPropertyAxiom
]
Definition Classes
PropertyCharacteristics
object
TransitiveObjectProperty
extends
UnaryObjectPropertyAxiom
[
OWLTransitiveObjectPropertyAxiom
,
OWLObjectPropertyExpression
]
Definition Classes
PropertyAxioms
implicit
object
VariableArgish
extends
SWRLIArgish
[
SWRLVariable
] with
SWRLDArgish
[
SWRLVariable
]
Definition Classes
SWRLArgs
val
XSDBoolean
:
OWLDatatype
Definition Classes
Vocab
val
XSDDouble
:
OWLDatatype
Definition Classes
Vocab
val
XSDFloat
:
OWLDatatype
Definition Classes
Vocab
val
XSDInteger
:
OWLDatatype
Definition Classes
Vocab
object
XSDMaxInclusive
extends
FacetRestriction
Definition Classes
DataExpressions
object
XSDMinInclusive
extends
FacetRestriction
Definition Classes
DataExpressions
val
XSDNonNegativeInteger
:
OWLDatatype
Definition Classes
Vocab
object
^^
Definition Classes
DataExpressions
package
converters
def
differentFrom
[
S
,
O
]
(
subj:
S
,
obj:
O
)
(
implicit
arg0:
SWRLIArgish
[
S
]
,
arg1:
SWRLIArgish
[
O
]
)
:
SWRLDifferentIndividualsAtom
Definition Classes
SWRLAtoms
package
example
def
inverse
(
property:
OWLObjectPropertyExpression
)
:
OWLObjectInverseOf
Definition Classes
ClassExpressions
def
not
[
T
]
(
property:
OWLDataPropertyExpression
,
value:
T
)
(
implicit
arg0:
Literalable
[
T
]
)
:
ScowlNegativeDataPropertyValue
[
T
]
Definition Classes
ClassExpressions
def
not
(
property:
OWLObjectPropertyExpression
,
value:
OWLIndividual
)
:
ScowlNegativeObjectPropertyValue
Definition Classes
ClassExpressions
def
not
(
dataRange:
OWLDataRange
)
:
OWLDataComplementOf
Definition Classes
ClassExpressions
def
not
(
classExpression:
OWLClassExpression
)
:
OWLObjectComplementOf
Definition Classes
ClassExpressions
package
ofn
package
omn
def
oneOf
(
literals:
OWLLiteral
*
)
:
OWLDataOneOf
Definition Classes
ClassExpressions
def
oneOf
(
individuals:
OWLNamedIndividual
*
)
:
OWLObjectOneOf
Definition Classes
ClassExpressions
def
sameAs
[
S
,
O
]
(
subj:
S
,
obj:
O
)
(
implicit
arg0:
SWRLIArgish
[
S
]
,
arg1:
SWRLIArgish
[
O
]
)
:
SWRLSameIndividualAtom
Definition Classes
SWRLAtoms
val
swrlbAbs
:
SWRLBuiltIn
Definition Classes
SWRLAtoms
Inherited from
SWRLArgs
Inherited from
Values
Inherited from
AnnotationSubjects
Inherited from
SWRLAtoms
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