package
scowl
Value Members
-
def
<[T](value: T)(implicit arg0: Literalable[T]): OWLFacetRestriction
-
def
<=[T](value: T)(implicit arg0: Literalable[T]): OWLFacetRestriction
-
def
>[T](value: T)(implicit arg0: Literalable[T]): OWLFacetRestriction
-
def
>=[T](value: T)(implicit arg0: Literalable[T]): OWLFacetRestriction
-
object
@@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
object
Functional extends PropertyCharacteristic[OWLFunctionalObjectPropertyAxiom, OWLFunctionalDataPropertyAxiom]
-
-
-
-
def
Individual(): OWLAnonymousIndividual
-
def
Individual(iri: String): OWLNamedIndividual
-
def
Individual(iri: IRI): OWLNamedIndividual
-
-
-
-
-
-
-
-
-
-
val
OWLNothing: OWLClass
-
val
OWLThing: OWLClass
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
def
Ontology(iri: String, axioms: Set[OWLAxiom]): OWLOntology
-
val
RDFSComment: OWLAnnotationProperty
-
val
RDFSLabel: OWLAnnotationProperty
-
-
-
-
-
-
-
-
-
-
val
XSDBoolean: OWLDatatype
-
val
XSDDouble: OWLDatatype
-
val
XSDFloat: OWLDatatype
-
val
XSDInteger: OWLDatatype
-
-
-
val
XSDNonNegativeInteger: OWLDatatype
-
object
^^
-
-
lazy val
factory: OWLDataFactory
-
def
inverse(property: OWLObjectProperty): OWLObjectInverseOf
-
-
def
not(property: OWLObjectPropertyExpression, value: OWLIndividual): ScowlNegativeObjectPropertyValue
-
def
not(dataRange: OWLDataRange): OWLDataComplementOf
-
def
not(classExpression: OWLClassExpression): OWLObjectComplementOf
-
package
ofn
-
package
omn
-
def
oneOf(literals: OWLLiteral*): OWLDataOneOf
-
def
oneOf(individuals: OWLNamedIndividual*): OWLObjectOneOf
Inherited from AnyRef
Inherited from Any