Modifier and Type | Method and Description |
---|---|
void |
KRSSObjectRenderer.visit(SWRLRule rule) |
void |
KRSS2OWLObjectRenderer.visit(SWRLRule rule) |
Modifier and Type | Method and Description |
---|---|
SWRLRule |
OWLFunctionalSyntaxParser.DLSafeRule()
DL safe rule.
|
Modifier and Type | Method and Description |
---|---|
void |
OWLObjectRenderer.visit(SWRLRule rule) |
Modifier and Type | Method and Description |
---|---|
void |
LatexObjectVisitor.visit(SWRLRule rule) |
Modifier and Type | Method and Description |
---|---|
void |
OWLXMLObjectRenderer.visit(SWRLRule rule) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractTranslator.visit(SWRLRule rule) |
Modifier and Type | Method and Description |
---|---|
void |
DebuggerClassExpressionGenerator.visit(SWRLRule rule) |
Modifier and Type | Field and Description |
---|---|
static AxiomType<SWRLRule> |
AxiomType.SWRL_RULE
Rule
|
Modifier and Type | Method and Description |
---|---|
SWRLRule |
SWRLRule.getAxiomWithoutAnnotations() |
SWRLRule |
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.
|
SWRLRule |
SWRLDataFactory.getSWRLRule(IRI iri,
Set<? extends SWRLAtom> body,
Set<? extends SWRLAtom> head)
Deprecated.
|
SWRLRule |
SWRLDataFactory.getSWRLRule(NodeID nodeID,
Set<? extends SWRLAtom> body,
Set<? extends SWRLAtom> head)
Deprecated.
|
SWRLRule |
SWRLDataFactory.getSWRLRule(Set<? extends SWRLAtom> body,
Set<? extends SWRLAtom> head)
Gets an anonymous SWRL Rule.
|
SWRLRule |
SWRLDataFactory.getSWRLRule(Set<? extends SWRLAtom> body,
Set<? extends SWRLAtom> head,
Set<OWLAnnotation> annotations)
Gets an anonymous SWRL Rule.
|
Modifier and Type | Method and Description |
---|---|
O |
SWRLObjectVisitorEx.visit(SWRLRule node)
visit SWRLRule type
|
void |
SWRLObjectVisitor.visit(SWRLRule node)
visit SWRLRule type
|
O |
OWLLogicalAxiomVisitorEx.visit(SWRLRule rule)
visit SWRLRule type
|
void |
OWLLogicalAxiomVisitor.visit(SWRLRule rule)
visit SWRLRule type
|
O |
OWLAxiomVisitorEx.visit(SWRLRule rule)
visit SWRLRule type
|
void |
OWLAxiomVisitor.visit(SWRLRule rule)
visit SWRLRule type
|
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
SatisfiabilityReducer.visit(SWRLRule rule) |
Modifier and Type | Method and Description |
---|---|
void |
StructureWalker.visit(SWRLRule rule) |
void |
SimpleRenderer.visit(SWRLRule rule) |
void |
SWRLVariableExtractor.visit(SWRLRule node) |
O |
OWLObjectVisitorExAdapter.visit(SWRLRule rule) |
void |
OWLObjectVisitorAdapter.visit(SWRLRule rule) |
void |
OWLObjectTypeIndexProvider.visit(SWRLRule rule) |
void |
OWLObjectDuplicator.visit(SWRLRule rule) |
void |
OWLObjectComponentCollector.visit(SWRLRule node) |
void |
OWLEntityCollector.visit(SWRLRule rule) |
Set<OWLClassExpression> |
OWLClassExpressionCollector.visit(SWRLRule rule) |
O |
OWLAxiomVisitorExAdapter.visit(SWRLRule rule) |
void |
OWLAxiomVisitorAdapter.visit(SWRLRule rule) |
void |
OWLAxiomTypeProcessor.visit(SWRLRule rule) |
void |
OWLAnonymousIndividualsWithMultipleOccurrences.visit(SWRLRule rule) |
OWLAxiom |
NNF.visit(SWRLRule rule) |
Integer |
MaximumModalDepthFinder.visit(SWRLRule rule) |
Boolean |
HornAxiomVisitorEx.visit(SWRLRule rule) |
void |
HashCode.visit(SWRLRule rule) |
O |
DelegatingObjectVisitorEx.visit(SWRLRule rule) |
void |
DLExpressivityChecker.visit(SWRLRule rule) |
void |
AxiomTypeProvider.visit(SWRLRule rule)
Deprecated.
|
void |
AxiomSubjectProvider.visit(SWRLRule rule) |
Modifier and Type | Class and Description |
---|---|
class |
SWRLRuleImpl |
Modifier and Type | Method and Description |
---|---|
SWRLRule |
SWRLRuleImpl.getAxiomWithoutAnnotations() |
SWRLRule |
SWRLRuleImpl.getSimplified() |
SWRLRule |
OWLDataFactoryImpl.getSWRLRule(IRI iri,
Set<? extends SWRLAtom> body,
Set<? extends SWRLAtom> head)
Deprecated.
Use either
OWLDataFactoryImpl.getSWRLRule(java.util.Set, java.util.Set, java.util.Set)
or OWLDataFactoryImpl.getSWRLRule(java.util.Set, java.util.Set)
instead. Gets a SWRL rule which is named with a URI |
SWRLRule |
OWLDataFactoryImpl.getSWRLRule(NodeID nodeID,
Set<? extends SWRLAtom> body,
Set<? extends SWRLAtom> head)
Deprecated.
|
SWRLRule |
OWLDataFactoryImpl.getSWRLRule(Set<? extends SWRLAtom> antecedent,
Set<? extends SWRLAtom> consequent) |
SWRLRule |
OWLDataFactoryImpl.getSWRLRule(Set<? extends SWRLAtom> body,
Set<? extends SWRLAtom> head,
Set<OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
void |
OWLEntityCollectionContainerCollector.visit(SWRLRule rule) |
void |
AbstractEntityRegistrationManager.visit(SWRLRule rule) |
Modifier and Type | Method and Description |
---|---|
void |
ManchesterOWLSyntaxObjectRenderer.visit(SWRLRule rule) |
Set<OWLAxiom> |
ManchesterOWLSyntaxFrameRenderer.write(SWRLRule rule) |
Modifier and Type | Method and Description |
---|---|
void |
ManchesterOWLSyntaxFrameRenderer.writeRules(Collection<SWRLRule> rules,
OWLOntology... ontologiesToWrite)
Writes out the specified rules.
|
Modifier and Type | Method and Description |
---|---|
void |
DLSyntaxObjectRenderer.visit(SWRLRule rule) |
Copyright © 2017 The University of Manchester. All Rights Reserved.