public class SWRLRuleImpl extends OWLLogicalAxiomImpl implements SWRLRule
| Constructor and Description |
|---|
SWRLRuleImpl(Collection<? extends SWRLAtom> body,
Collection<? extends SWRLAtom> head) |
SWRLRuleImpl(Collection<? extends SWRLAtom> body,
Collection<? extends SWRLAtom> head,
Collection<OWLAnnotation> annotations) |
| Modifier and Type | Method and Description |
|---|---|
Stream<SWRLAtom> |
body()
Gets the atoms in the body of the rule.
|
Stream<OWLClassExpression> |
classAtomPredicates()
Gets the predicates of class atoms.
|
boolean |
containsAnonymousClassExpressions()
Determines if this rule uses anonymous class expressions in class atoms.
|
boolean |
equals(Object obj) |
<T extends OWLAxiom> |
getAnnotatedAxiom(Stream<OWLAnnotation> anns)
Gets a copy of this axiom that is annotated with the specified
annotations.
|
SWRLRule |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without
annotations.
|
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.
|
Stream<SWRLAtom> |
head()
Gets the atoms in the head of the rule.
|
Stream<SWRLVariable> |
variables()
Gets the variables that appear in this rule.
|
annotations, getNNF, isAnnotatedannotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toStringaccept, accept, accept, accept, accept, accept, components, componentsAnnotationsFirst, componentsWithoutAnnotations, getAxiomType, getBody, getClassAtomPredicates, getHead, getVariables, hashIndexisLogicalAxiomequalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isAnonymous, isAxiom, isIndividual, isOfType, isOfType, isOfType, typeIndexgetNestedClassExpressions, hasSharedStructure, isAnonymousExpression, isBottomEntity, isIRI, isOntology, isTopEntity, nestedClassExpressionscompareTogetSignature, signaturecontainsEntityInSignatureanonymousIndividuals, getAnonymousIndividualsclassesInSignature, getClassesInSignaturegetObjectPropertiesInSignature, objectPropertiesInSignaturedataPropertiesInSignature, getDataPropertiesInSignaturegetIndividualsInSignature, individualsInSignaturedatatypesInSignature, getDatatypesInSignatureannotationPropertiesInSignature, getAnnotationPropertiesInSignatureannotations, annotations, annotations, getAnnotations, getAnnotationsaddAnonymousIndividualsToSet, addSignatureEntitiesToSetpublic SWRLRuleImpl(Collection<? extends SWRLAtom> body, Collection<? extends SWRLAtom> head, Collection<OWLAnnotation> annotations)
body - rule bodyhead - rule headannotations - annotations on the axiompublic SWRLRuleImpl(Collection<? extends SWRLAtom> body, Collection<? extends SWRLAtom> head)
body - rule bodyhead - rule headpublic SWRLRule getAxiomWithoutAnnotations()
OWLAxiomgetAxiomWithoutAnnotations in interface OWLAxiomgetAxiomWithoutAnnotations in interface SWRLRulepublic <T extends OWLAxiom> T getAnnotatedAxiom(Stream<OWLAnnotation> anns)
OWLAxiomgetAnnotatedAxiom in interface OWLAxiomanns - The annotations that will be added to existing annotations to annotate the
copy of this axiomOWLAxiom#getAnnotations() method.public Stream<SWRLVariable> variables()
SWRLRulepublic boolean containsAnonymousClassExpressions()
SWRLRulecontainsAnonymousClassExpressions in interface SWRLRuletrue if this rule contains anonymous class expression in class atoms,
otherwise false.public Stream<OWLClassExpression> classAtomPredicates()
SWRLRuleclassAtomPredicates in interface SWRLRulepublic Stream<SWRLAtom> body()
SWRLRulepublic Stream<SWRLAtom> head()
SWRLRulepublic SWRLRule getSimplified()
SWRLRulegetSimplified in interface SWRLRulepublic boolean equals(@Nullable Object obj)
equals in class OWLObjectImplCopyright © 2017 The University of Manchester. All rights reserved.