org.semanticweb.HermiT.structural
Class OWLClausification.NormalizedRuleClausifier
java.lang.Object
org.semanticweb.HermiT.structural.OWLClausification.NormalizedRuleClausifier
- All Implemented Interfaces:
- org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Atom>
- Enclosing class:
- OWLClausification
protected static final class OWLClausification.NormalizedRuleClausifier
- extends java.lang.Object
- implements org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Atom>
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_objectPropertiesOccurringInOWLAxioms
protected final java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty> m_objectPropertiesOccurringInOWLAxioms
m_dataRangeConverter
protected final OWLClausification.DataRangeConverter m_dataRangeConverter
m_dlClauses
protected final java.util.Set<DLClause> m_dlClauses
m_headAtoms
protected final java.util.List<Atom> m_headAtoms
m_bodyAtoms
protected final java.util.List<Atom> m_bodyAtoms
m_abstractVariables
protected final java.util.Set<Variable> m_abstractVariables
m_graphObjectProperties
protected final java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty> m_graphObjectProperties
m_containsObjectProperties
protected boolean m_containsObjectProperties
m_containsGraphObjectProperties
protected boolean m_containsGraphObjectProperties
m_containsNonGraphObjectProperties
protected boolean m_containsNonGraphObjectProperties
m_containsUndeterminedObjectProperties
protected boolean m_containsUndeterminedObjectProperties
OWLClausification.NormalizedRuleClausifier
public OWLClausification.NormalizedRuleClausifier(java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty> objectPropertiesOccurringInOWLAxioms,
java.util.Collection<DescriptionGraph> descriptionGraphs,
OWLClausification.DataRangeConverter dataRangeConverter,
java.util.Set<DLClause> dlClauses)
processRules
public void processRules(java.util.Collection<OWLAxioms.DisjunctiveRule> rules)
determineRuleType
protected void determineRuleType(OWLAxioms.DisjunctiveRule rule)
checkRuleAtom
protected void checkRuleAtom(org.semanticweb.owlapi.model.SWRLAtom atom)
determineUndeterminedObjectProperties
protected void determineUndeterminedObjectProperties(OWLAxioms.DisjunctiveRule rule)
makeGraphObjectProperty
protected void makeGraphObjectProperty(org.semanticweb.owlapi.model.SWRLAtom atom)
makeNonGraphObjectProperty
protected void makeNonGraphObjectProperty(org.semanticweb.owlapi.model.SWRLAtom atom)
clausify
protected void clausify(OWLAxioms.DisjunctiveRule rule,
boolean restrictToNamed)
visit
public Atom visit(org.semanticweb.owlapi.model.SWRLClassAtom atom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Atom>
visit
public Atom visit(org.semanticweb.owlapi.model.SWRLDataRangeAtom atom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Atom>
visit
public Atom visit(org.semanticweb.owlapi.model.SWRLObjectPropertyAtom atom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Atom>
visit
public Atom visit(org.semanticweb.owlapi.model.SWRLDataPropertyAtom atom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Atom>
visit
public Atom visit(org.semanticweb.owlapi.model.SWRLSameIndividualAtom atom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Atom>
visit
public Atom visit(org.semanticweb.owlapi.model.SWRLDifferentIndividualsAtom atom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Atom>
visit
public Atom visit(org.semanticweb.owlapi.model.SWRLBuiltInAtom node)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Atom>
visit
public Atom visit(org.semanticweb.owlapi.model.SWRLRule rule)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Atom>
visit
public Atom visit(org.semanticweb.owlapi.model.SWRLVariable node)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Atom>
visit
public Atom visit(org.semanticweb.owlapi.model.SWRLIndividualArgument atom)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Atom>
visit
public Atom visit(org.semanticweb.owlapi.model.SWRLLiteralArgument arg)
- Specified by:
visit
in interface org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Atom>
toVariable
protected static Variable toVariable(org.semanticweb.owlapi.model.SWRLIArgument argument)
toVariable
protected static Variable toVariable(org.semanticweb.owlapi.model.SWRLDArgument argument)