Comparable<OWLObject>
, HasAnnotationPropertiesInSignature
, HasAnnotations
, HasAnonymousIndividuals
, HasClassesInSignature
, HasContainsEntityInSignature
, HasDataPropertiesInSignature
, HasDatatypesInSignature
, HasIndividualsInSignature
, HasObjectPropertiesInSignature
, HasSignature
, IsAnonymous
, OWLAxiom
, OWLLogicalAxiom
, OWLObject
, Serializable
, SWRLObject
SWRLRuleImpl
public interface SWRLRule extends OWLLogicalAxiom, SWRLObject
Modifier and Type | Method | Description |
---|---|---|
boolean |
containsAnonymousClassExpressions() |
Determines if this rule uses anonymous class expressions in class atoms.
|
SWRLRule |
getAxiomWithoutAnnotations() |
Gets an axiom that is structurally equivalent to this axiom without
annotations.
|
Set<SWRLAtom> |
getBody() |
Gets the atoms in the body of the rule.
|
Set<OWLClassExpression> |
getClassAtomPredicates() |
Gets the predicates of class atoms.
|
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 fliped over and the predicate is the inverse
(simplified) property.
|
Set<SWRLVariable> |
getVariables() |
Gets the variables that appear in this rule.
|
compareTo
getAnnotationPropertiesInSignature
getAnonymousIndividuals
getClassesInSignature
containsEntityInSignature
getDataPropertiesInSignature
getDatatypesInSignature
getIndividualsInSignature
getObjectPropertiesInSignature
getSignature
isAnonymous
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString
accept, accept
@Nonnull Set<SWRLAtom> getBody()
SWRLAtom
s, which represent the atoms in the body
of the rule.@Nonnull Set<SWRLAtom> getHead()
SWRLAtom
s, which represent the atoms in the head
of the rule@Nonnull SWRLRule getSimplified()
@Nonnull Set<SWRLVariable> getVariables()
boolean containsAnonymousClassExpressions()
true
if this rule contains anonymous class expression in
class atoms, otherwise false
.@Nonnull Set<OWLClassExpression> getClassAtomPredicates()
@Nonnull SWRLRule getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
Copyright © 2018 The University of Manchester. All rights reserved.