public interface SWRLRule extends OWLLogicalAxiom, SWRLObject
Modifier and Type | Method and Description |
---|---|
default void |
accept(OWLAxiomVisitor visitor) |
default <O> O |
accept(OWLAxiomVisitorEx<O> visitor) |
default void |
accept(OWLObjectVisitor visitor)
Accepts a visitor
|
default <O> O |
accept(OWLObjectVisitorEx<O> visitor)
Accepts a visitor
|
default void |
accept(SWRLObjectVisitor visitor) |
default <O> O |
accept(SWRLObjectVisitorEx<O> visitor) |
Stream<SWRLAtom> |
body() |
default List<SWRLAtom> |
bodyList() |
Stream<OWLClassExpression> |
classAtomPredicates()
Gets the predicates of class atoms.
|
default Stream<?> |
components() |
default Stream<?> |
componentsAnnotationsFirst() |
default Stream<?> |
componentsWithoutAnnotations() |
boolean |
containsAnonymousClassExpressions()
Determines if this rule uses anonymous class expressions in class atoms.
|
default AxiomType<?> |
getAxiomType()
Gets the axiom type for this axiom.
|
SWRLRule |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations.
|
default Set<SWRLAtom> |
getBody()
Gets the atoms in the body of the rule.
|
default Set<OWLClassExpression> |
getClassAtomPredicates()
Gets the predicates of class atoms.
|
default Set<SWRLAtom> |
getHead()
Gets the atoms in the head of the rule.
|
SWRLRule |
getSimplified()
If this rule contains atoms that have predicates that are inverse object properties, then
this method creates and returns a rule where the arguments of these atoms are flipped over
and the predicate is the inverse (simplified) property.
|
default Set<SWRLVariable> |
getVariables()
Gets the variables that appear in this rule.
|
default int |
hashIndex() |
Stream<SWRLAtom> |
head() |
default List<SWRLAtom> |
headList() |
default int |
initHashCode() |
Stream<SWRLVariable> |
variables() |
isLogicalAxiom
equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isAxiom, isIndividual, isOfType, isOfType, isOfType, typeIndex
getNestedClassExpressions, hashIteration, hasSharedStructure, isAnonymousExpression, isBottomEntity, isIRI, isOntology, isTopEntity, nestedClassExpressions
compareTo
getSignature, signature, unsortedSignature
containsEntityInSignature
anonymousIndividuals, getAnonymousIndividuals
classesInSignature, getClassesInSignature
getObjectPropertiesInSignature, objectPropertiesInSignature
dataPropertiesInSignature, getDataPropertiesInSignature
getIndividualsInSignature, individualsInSignature
datatypesInSignature, getDatatypesInSignature
annotationPropertiesInSignature, getAnnotationPropertiesInSignature
isAnonymous, isNamed
annotations, annotations, annotations, annotationsAsList, getAnnotations, getAnnotations
default Stream<?> components()
components
in interface HasComponents
default int initHashCode()
initHashCode
in interface OWLObject
default Stream<?> componentsWithoutAnnotations()
componentsWithoutAnnotations
in interface HasComponents
default Stream<?> componentsAnnotationsFirst()
componentsAnnotationsFirst
in interface HasComponents
default int hashIndex()
hashIndex
in interface HasHashIndex
default Set<SWRLAtom> getBody()
SWRLAtom
s, which represent the atoms in the body of the rule. The
set that is returned is a copy; modifications to the returned set will not be
reflected in this object.default Set<SWRLAtom> getHead()
SWRLAtom
s, which represent the atoms in the head of the rule. The
set that is returned is a copy; modifications to the returned set will not be
reflected in this object.SWRLRule getSimplified()
default Set<SWRLVariable> getVariables()
Stream<SWRLVariable> variables()
boolean containsAnonymousClassExpressions()
true
if this rule contains anonymous class expression in class atoms,
otherwise false
.default Set<OWLClassExpression> getClassAtomPredicates()
Stream<OWLClassExpression> classAtomPredicates()
SWRLRule getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
default void accept(OWLObjectVisitor visitor)
OWLObject
default <O> O accept(OWLObjectVisitorEx<O> visitor)
OWLObject
default void accept(SWRLObjectVisitor visitor)
accept
in interface SWRLObject
visitor
- visitor to acceptdefault <O> O accept(SWRLObjectVisitorEx<O> visitor)
accept
in interface SWRLObject
O
- visitor return typevisitor
- visitor to acceptdefault void accept(OWLAxiomVisitor visitor)
default <O> O accept(OWLAxiomVisitorEx<O> visitor)
default AxiomType<?> getAxiomType()
OWLAxiom
getAxiomType
in interface OWLAxiom
Copyright © 2020 The University of Manchester. All rights reserved.