org.semanticweb.HermiT.structural
Class OWLClausification.NormalizedRuleClausifier

java.lang.Object
  extended by 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 Object
implements org.semanticweb.owlapi.model.SWRLObjectVisitorEx<Atom>


Field Summary
protected  Set<Variable> m_abstractVariables
           
protected  List<Atom> m_bodyAtoms
           
protected  boolean m_containsGraphObjectProperties
           
protected  boolean m_containsNonGraphObjectProperties
           
protected  boolean m_containsObjectProperties
           
protected  boolean m_containsUndeterminedObjectProperties
           
protected  OWLClausification.DataRangeConverter m_dataRangeConverter
           
protected  Set<DLClause> m_dlClauses
           
protected  Set<org.semanticweb.owlapi.model.OWLObjectProperty> m_graphObjectProperties
           
protected  List<Atom> m_headAtoms
           
protected  Set<org.semanticweb.owlapi.model.OWLObjectProperty> m_objectPropertiesOccurringInOWLAxioms
           
 
Constructor Summary
OWLClausification.NormalizedRuleClausifier(Set<org.semanticweb.owlapi.model.OWLObjectProperty> objectPropertiesOccurringInOWLAxioms, Collection<DescriptionGraph> descriptionGraphs, OWLClausification.DataRangeConverter dataRangeConverter, Set<DLClause> dlClauses)
           
 
Method Summary
protected  void checkRuleAtom(org.semanticweb.owlapi.model.SWRLAtom atom)
           
protected  void clausify(OWLAxioms.DisjunctiveRule rule, boolean restrictToNamed)
           
protected  void determineRuleType(OWLAxioms.DisjunctiveRule rule)
           
protected  void determineUndeterminedObjectProperties(OWLAxioms.DisjunctiveRule rule)
           
protected  void makeGraphObjectProperty(org.semanticweb.owlapi.model.SWRLAtom atom)
           
protected  void makeNonGraphObjectProperty(org.semanticweb.owlapi.model.SWRLAtom atom)
           
 void processRules(Collection<OWLAxioms.DisjunctiveRule> rules)
           
protected static Variable toVariable(org.semanticweb.owlapi.model.SWRLDArgument argument)
           
protected static Variable toVariable(org.semanticweb.owlapi.model.SWRLIArgument argument)
           
 Atom visit(org.semanticweb.owlapi.model.SWRLBuiltInAtom node)
           
 Atom visit(org.semanticweb.owlapi.model.SWRLClassAtom atom)
           
 Atom visit(org.semanticweb.owlapi.model.SWRLDataPropertyAtom atom)
           
 Atom visit(org.semanticweb.owlapi.model.SWRLDataRangeAtom atom)
           
 Atom visit(org.semanticweb.owlapi.model.SWRLDifferentIndividualsAtom atom)
           
 Atom visit(org.semanticweb.owlapi.model.SWRLIndividualArgument atom)
           
 Atom visit(org.semanticweb.owlapi.model.SWRLLiteralArgument arg)
           
 Atom visit(org.semanticweb.owlapi.model.SWRLObjectPropertyAtom atom)
           
 Atom visit(org.semanticweb.owlapi.model.SWRLRule rule)
           
 Atom visit(org.semanticweb.owlapi.model.SWRLSameIndividualAtom atom)
           
 Atom visit(org.semanticweb.owlapi.model.SWRLVariable node)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_objectPropertiesOccurringInOWLAxioms

protected final Set<org.semanticweb.owlapi.model.OWLObjectProperty> m_objectPropertiesOccurringInOWLAxioms

m_dataRangeConverter

protected final OWLClausification.DataRangeConverter m_dataRangeConverter

m_dlClauses

protected final Set<DLClause> m_dlClauses

m_headAtoms

protected final List<Atom> m_headAtoms

m_bodyAtoms

protected final List<Atom> m_bodyAtoms

m_abstractVariables

protected final Set<Variable> m_abstractVariables

m_graphObjectProperties

protected final 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
Constructor Detail

OWLClausification.NormalizedRuleClausifier

public OWLClausification.NormalizedRuleClausifier(Set<org.semanticweb.owlapi.model.OWLObjectProperty> objectPropertiesOccurringInOWLAxioms,
                                                  Collection<DescriptionGraph> descriptionGraphs,
                                                  OWLClausification.DataRangeConverter dataRangeConverter,
                                                  Set<DLClause> dlClauses)
Method Detail

processRules

public void processRules(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)


Copyright © 2012. All Rights Reserved.