package scowl
Linear Supertypes
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
- Protected
Type Members
- implicit final class SWRLVariableInterpolator extends AnyVal
- 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
- def Individual(): OWLAnonymousIndividual
- Definition Classes
- Entities
- def Individual(iri: String): OWLNamedIndividual
- Definition Classes
- Entities
- def Individual(iri: IRI): OWLNamedIndividual
- Definition Classes
- Entities
- val OWLNothing: OWLClass
- Definition Classes
- Vocab
- val OWLThing: OWLClass
- Definition Classes
- Vocab
- def Ontology(iri: String, axioms: Set[OWLAxiom]): OWLOntology
- Definition Classes
- Entities
- val RDFSComment: OWLAnnotationProperty
- Definition Classes
- Vocab
- val RDFSLabel: OWLAnnotationProperty
- Definition Classes
- Vocab
- val XSDBoolean: OWLDatatype
- Definition Classes
- Vocab
- val XSDDouble: OWLDatatype
- Definition Classes
- Vocab
- val XSDFloat: OWLDatatype
- Definition Classes
- Vocab
- val XSDInteger: OWLDatatype
- Definition Classes
- Vocab
- val XSDNonNegativeInteger: OWLDatatype
- Definition Classes
- Vocab
- def differentFrom[S, O](subj: S, obj: O)(implicit arg0: SWRLIArgish[S], arg1: SWRLIArgish[O]): SWRLDifferentIndividualsAtom
- Definition Classes
- SWRLAtoms
- def inverse(property: OWLObjectProperty): OWLObjectInverseOf
- Definition Classes
- ClassExpressions
- val iriPrefix: String
- Definition Classes
- SWRLArgs
- 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
- 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
- implicit object AnnotationSubjectAnnotatable extends Annotatable[OWLAnnotationSubject]
- Definition Classes
- AnnotationSubjects
- implicit object NamedObjectAnnotatable extends Annotatable[OWLNamedObject]
- Definition Classes
- AnnotationSubjects
- implicit object IndividualArgish extends SWRLIArgish[OWLIndividual]
- Definition Classes
- SWRLArgs
- implicit object SymbolArgish extends SWRLIArgish[Symbol] with SWRLDArgish[Symbol]
- Definition Classes
- SWRLArgs
- implicit object VariableArgish extends SWRLIArgish[SWRLVariable] with SWRLDArgish[SWRLVariable]
- Definition Classes
- SWRLArgs
- implicit object AnnotationValueValuer extends AnnotationValuer[OWLAnnotationValue]
- Definition Classes
- Values
- implicit object BooleanLiterable extends Literalable[Boolean]
- Definition Classes
- Values
- implicit object DoubleLiterable extends Literalable[Double]
- Definition Classes
- Values
- implicit object FloatLiterable extends Literalable[Float]
- Definition Classes
- Values
- implicit object IntLiterable extends Literalable[Int]
- Definition Classes
- Values
- implicit object LiteralLiterable extends Literalable[OWLLiteral]
- Definition Classes
- Values
- implicit object NamedObjectValuer extends AnnotationValuer[OWLNamedObject]
- Definition Classes
- Values
- implicit object StringLiterable extends Literalable[String]
- Definition Classes
- Values
- object Annotation
- Definition Classes
- AnnotationAxioms
- object AnnotationAssertion
- Definition Classes
- AnnotationAxioms
- object Declaration
- Definition Classes
- AnnotationAxioms
- object DisjointClasses extends NaryClassAxiom[OWLDisjointClassesAxiom]
- Definition Classes
- ClassAxioms
- object DisjointUnion
- Definition Classes
- ClassAxioms
- object EquivalentClasses extends NaryClassAxiom[OWLEquivalentClassesAxiom]
- Definition Classes
- ClassAxioms
- object HasKey
- Definition Classes
- ClassAxioms
- object SubClassOf
- Definition Classes
- ClassAxioms
- object @@
- Definition Classes
- DataExpressions
- object DataAllValuesFrom
- Definition Classes
- DataExpressions
- object DataComplementOf
- Definition Classes
- DataExpressions
- object DataIntersectionOf
- Definition Classes
- DataExpressions
- object DataOneOf
- Definition Classes
- DataExpressions
- object DataSomeValuesFrom
- Definition Classes
- DataExpressions
- object DatatypeDefinition
- Definition Classes
- DataExpressions
- object DatatypeRestriction
- Definition Classes
- DataExpressions
- object XSDMaxInclusive extends FacetRestriction
- Definition Classes
- DataExpressions
- object XSDMinInclusive extends FacetRestriction
- Definition Classes
- DataExpressions
- object ^^
- Definition Classes
- DataExpressions
- object AnnotationProperty extends NamedObjectConstructor[OWLAnnotationProperty]
- Definition Classes
- Entities
- object AnonymousIndividual
- Definition Classes
- Entities
- object Class extends NamedObjectConstructor[OWLClass]
- Definition Classes
- Entities
- object DataProperty extends NamedObjectConstructor[OWLDataProperty]
- Definition Classes
- Entities
- object Datatype extends NamedObjectConstructor[OWLDatatype]
- Definition Classes
- Entities
- object NamedIndividual extends NamedObjectConstructor[OWLNamedIndividual]
- Definition Classes
- Entities
- object ObjectProperty extends NamedObjectConstructor[OWLObjectProperty]
- Definition Classes
- Entities
- object ClassAssertion
- Definition Classes
- IndividualAxioms
- object DataPropertyAssertion extends DataPropertyAssertionAxiom[OWLDataPropertyAssertionAxiom]
- Definition Classes
- IndividualAxioms
- object DifferentIndividuals extends NaryIndividualsAxiom[OWLDifferentIndividualsAxiom]
- Definition Classes
- IndividualAxioms
- object NegativeDataPropertyAssertion extends DataPropertyAssertionAxiom[OWLNegativeDataPropertyAssertionAxiom]
- Definition Classes
- IndividualAxioms
- object NegativeObjectPropertyAssertion extends ObjectPropertyAssertionAxiom[OWLNegativeObjectPropertyAssertionAxiom]
- Definition Classes
- IndividualAxioms
- object ObjectPropertyAssertion extends ObjectPropertyAssertionAxiom[OWLObjectPropertyAssertionAxiom]
- Definition Classes
- IndividualAxioms
- object SameIndividual extends NaryIndividualsAxiom[OWLSameIndividualAxiom]
- Definition Classes
- IndividualAxioms
- 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 ObjectSomeValuesFrom
- Definition Classes
- ObjectExpressions
- object ObjectUnionOf
- Definition Classes
- ObjectExpressions
- object AsymmetricObjectProperty extends UnaryObjectPropertyAxiom[OWLAsymmetricObjectPropertyAxiom, OWLObjectPropertyExpression]
- Definition Classes
- PropertyAxioms
- object DataPropertyDomain
- Definition Classes
- PropertyAxioms
- object DataPropertyRange
- Definition Classes
- PropertyAxioms
- object DisjointDataProperties
- Definition Classes
- PropertyAxioms
- object DisjointObjectProperties
- Definition Classes
- PropertyAxioms
- object EquivalentDataProperties
- Definition Classes
- PropertyAxioms
- object EquivalentObjectProperties
- Definition Classes
- PropertyAxioms
- object FunctionalDataProperty extends UnaryObjectPropertyAxiom[OWLFunctionalDataPropertyAxiom, OWLDataPropertyExpression]
- Definition Classes
- PropertyAxioms
- object FunctionalObjectProperty extends UnaryObjectPropertyAxiom[OWLFunctionalObjectPropertyAxiom, OWLObjectPropertyExpression]
- Definition Classes
- PropertyAxioms
- object InverseFunctionalObjectProperty extends UnaryObjectPropertyAxiom[OWLInverseFunctionalObjectPropertyAxiom, OWLObjectPropertyExpression]
- Definition Classes
- PropertyAxioms
- object InverseObjectProperties
- Definition Classes
- PropertyAxioms
- object IrreflexiveObjectProperty extends UnaryObjectPropertyAxiom[OWLIrreflexiveObjectPropertyAxiom, OWLObjectPropertyExpression]
- Definition Classes
- PropertyAxioms
- object ObjectPropertyDomain
- Definition Classes
- PropertyAxioms
- object ObjectPropertyRange
- Definition Classes
- PropertyAxioms
- object ReflexiveObjectProperty extends UnaryObjectPropertyAxiom[OWLReflexiveObjectPropertyAxiom, OWLObjectPropertyExpression]
- Definition Classes
- PropertyAxioms
- object SubDataPropertyOf
- Definition Classes
- PropertyAxioms
- object SubObjectPropertyChainOf
- Definition Classes
- PropertyAxioms
- object SubObjectPropertyOf
- Definition Classes
- PropertyAxioms
- object SymmetricObjectProperty extends UnaryObjectPropertyAxiom[OWLSymmetricObjectPropertyAxiom, OWLObjectPropertyExpression]
- Definition Classes
- PropertyAxioms
- object TransitiveObjectProperty extends UnaryObjectPropertyAxiom[OWLTransitiveObjectPropertyAxiom, OWLObjectPropertyExpression]
- Definition Classes
- PropertyAxioms
- object Asymmetric extends ObjectPropertyOnlyCharacteristic[OWLAsymmetricObjectPropertyAxiom]
- Definition Classes
- PropertyCharacteristics
- object Functional extends PropertyCharacteristic[OWLFunctionalObjectPropertyAxiom, OWLFunctionalDataPropertyAxiom]
- Definition Classes
- PropertyCharacteristics
- object InverseFunctional extends ObjectPropertyOnlyCharacteristic[OWLInverseFunctionalObjectPropertyAxiom]
- Definition Classes
- PropertyCharacteristics
- object Irreflexive extends ObjectPropertyOnlyCharacteristic[OWLIrreflexiveObjectPropertyAxiom]
- Definition Classes
- PropertyCharacteristics
- object Reflexive extends ObjectPropertyOnlyCharacteristic[OWLReflexiveObjectPropertyAxiom]
- Definition Classes
- PropertyCharacteristics
- object Symmetric extends ObjectPropertyOnlyCharacteristic[OWLSymmetricObjectPropertyAxiom]
- Definition Classes
- PropertyCharacteristics
- object Transitive extends ObjectPropertyOnlyCharacteristic[OWLTransitiveObjectPropertyAxiom]
- Definition Classes
- PropertyCharacteristics