Uses of Interface
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.AxiomInterface

Packages that use AxiomInterface

Package	Description
uk.ac.manchester.cs.jfact
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.kernel.dl.axioms
uk.ac.manchester.cs.jfact.split

Uses of AxiomInterface in uk.ac.manchester.cs.jfact

Methods in uk.ac.manchester.cs.jfact that return AxiomInterface

Modifier and Type	Method and Description
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom)
AxiomInterface	DeclarationVisitorEx.visit(org.semanticweb.owlapi.model.OWLAnnotationProperty property)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)
AxiomInterface	DeclarationVisitorEx.visit(org.semanticweb.owlapi.model.OWLClass cls)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)
AxiomInterface	DeclarationVisitorEx.visit(org.semanticweb.owlapi.model.OWLDataProperty property)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)
AxiomInterface	DeclarationVisitorEx.visit(org.semanticweb.owlapi.model.OWLDatatype datatype)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)
AxiomInterface	DeclarationVisitorEx.visit(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
AxiomInterface	DeclarationVisitorEx.visit(org.semanticweb.owlapi.model.OWLObjectProperty property)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)
AxiomInterface	AxiomTranslator.visit(org.semanticweb.owlapi.model.SWRLRule rule)

Method parameters in uk.ac.manchester.cs.jfact with type arguments of type AxiomInterface

Modifier and Type	Method and Description
Set<org.semanticweb.owlapi.model.OWLAxiom>	TranslationMachinery.translateTAxiomSet(Collection<AxiomInterface> trace)

Uses of AxiomInterface in uk.ac.manchester.cs.jfact.kernel

Methods in uk.ac.manchester.cs.jfact.kernel that return AxiomInterface

Modifier and Type	Method and Description
AxiomInterface	Ontology.add(AxiomInterface p) add given axiom to the ontology
AxiomInterface	Ontology.get(int i)

Methods in uk.ac.manchester.cs.jfact.kernel that return types with arguments of type AxiomInterface

Modifier and Type	Method and Description
Set<AxiomInterface>	ReasoningKernel.getAtomAxioms(int index) get a set of axioms that corresponds to the atom with the id INDEX
Set<AxiomInterface>	ReasoningKernel.getAtomModule(int index) get a set of axioms that corresponds to the module of the atom with the id INDEX
List<AxiomInterface>	Ontology.getAxioms()
List<AxiomInterface>	ReasoningKernel.getModule(List<Expression> signature, boolean useSemantic, ModuleType type)
Set<AxiomInterface>	ReasoningKernel.getNonLocal(List<Expression> signature, boolean useSemantic, ModuleType type)
List<AxiomInterface>	Ontology.getRetracted()
List<AxiomInterface>	ReasoningKernel.getTautologies()
List<AxiomInterface>	ReasoningKernel.getTrace()

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type AxiomInterface

Modifier and Type	Method and Description
AxiomInterface	Ontology.add(AxiomInterface p) add given axiom to the ontology
void	Ontology.retract(AxiomInterface p) retract given axiom to the ontology

Method parameters in uk.ac.manchester.cs.jfact.kernel with type arguments of type AxiomInterface

Modifier and Type	Method and Description
void	ReasoningKernel.buildSignature(NamedEntity entity, List<AxiomInterface> Module, Set<NamedEntity> toProcess) build signature for ENTITY and all dependent entities from toProcess; look for modules in Module;
void	ReasoningKernel.setupSig(NamedEntity entity, List<AxiomInterface> Module) setup Name2Sig for a given entity;

Uses of AxiomInterface in uk.ac.manchester.cs.jfact.kernel.dl.axioms

Classes in uk.ac.manchester.cs.jfact.kernel.dl.axioms that implement AxiomInterface

Modifier and Type	Class and Description
class	AbstractNaryAxiom<I extends Expression> n-ary axiom base class
class	AxiomConceptInclusion SubClassOf
class	AxiomDeclaration declaration
class	AxiomDifferentIndividuals Different individuals axiom
class	AxiomDisjointConcepts Concept disjointness axiom
class	AxiomDisjointDRoles Data Role disjointness axiom
class	AxiomDisjointORoles Object Role disjointness axiom
class	AxiomDisjointUnion Disjoint Union axiom
class	AxiomDRoleDomain data role domain
class	AxiomDRoleFunctional functional data role
class	AxiomDRoleRange data role range
class	AxiomDRoleSubsumption data role subsumption
class	AxiomEquivalentConcepts equivalent concepts
class	AxiomEquivalentDRoles Data Role equivalence axiom
class	AxiomEquivalentORoles Object Role equivalence axiom
class	AxiomFairnessConstraint Fairness constraint axiom
class	AxiomInstanceOf class assertion
class	AxiomORoleDomain object role domain
class	AxiomORoleFunctional functional object role
class	AxiomORoleRange object role range
class	AxiomORoleSubsumption object role subsumption
class	AxiomRelatedTo object role assertion
class	AxiomRelatedToNot negated object role assertion
class	AxiomRoleAsymmetric asymmetric object role
class	AxiomRoleInverse inverse object property
class	AxiomRoleInverseFunctional inverse functional object role
class	AxiomRoleIrreflexive irreflexive object role
class	AxiomRoleReflexive reflexive object role
class	AxiomRoleSymmetric symmetric object role
class	AxiomRoleTransitive transitive object role
class	AxiomSameIndividuals Same individuals axiom
class	AxiomSingleDRole data role axiom
class	AxiomSingleORole object role axiom
class	AxiomValueOf data has value axiom
class	AxiomValueOfNot negation of data hasvalue axiom

Methods in uk.ac.manchester.cs.jfact.kernel.dl.axioms that return AxiomInterface

Modifier and Type	Method and Description
static AxiomInterface	Axioms.dummy()

Uses of AxiomInterface in uk.ac.manchester.cs.jfact.split

Fields in uk.ac.manchester.cs.jfact.split with type parameters of type AxiomInterface

Modifier and Type	Field and Description
Set<AxiomInterface>	SplitVarEntry.Module module

Methods in uk.ac.manchester.cs.jfact.split that return types with arguments of type AxiomInterface

Modifier and Type	Method and Description
List<AxiomInterface>	TModularizer.extractModule(List<AxiomInterface> list, TSignature signature, ModuleType type) extract module wrt SIGNATURE and TYPE from O;
Set<AxiomInterface>	TOntologyAtom.getAtomAxioms()
Collection<AxiomInterface>	SigIndex.getAxioms(NamedEntity entity) given an entity,
Set<AxiomInterface>	TOntologyAtom.getModule()
List<AxiomInterface>	TModularizer.getModule()
List<AxiomInterface>	OntologyBasedModularizer.getModule(List<AxiomInterface> axioms, TSignature sig, ModuleType type)
List<AxiomInterface>	OntologyBasedModularizer.getModule(TSignature sig, ModuleType type)
Set<AxiomInterface>	SigIndex.getNonLocal(boolean top)
List<AxiomInterface>	AtomicDecomposer.getTautologies()

Methods in uk.ac.manchester.cs.jfact.split with parameters of type AxiomInterface

Modifier and Type	Method and Description
void	TOntologyAtom.addAxiom(AxiomInterface ax) add axiom AX to an atom
void	TModularizer.extract(AxiomInterface begin, TSignature signature, ModuleType type)
boolean	TModularizer.isTautology(AxiomInterface ax, ModuleType type)
boolean	SemanticLocalityChecker.local(AxiomInterface axiom)
boolean	LocalityChecker.local(AxiomInterface axiom)
boolean	GeneralSyntacticLocalityChecker.local(AxiomInterface axiom)
void	SigIndex.processAx(AxiomInterface ax) process an axiom wrt its Used status

Method parameters in uk.ac.manchester.cs.jfact.split with type arguments of type AxiomInterface

Modifier and Type	Method and Description
void	TModularizer.extract(Collection<AxiomInterface> begin, TSignature signature, ModuleType type) extract module wrt SIGNATURE and TYPE from the set of axioms [BEGIN,END)
List<AxiomInterface>	TModularizer.extractModule(List<AxiomInterface> list, TSignature signature, ModuleType type) extract module wrt SIGNATURE and TYPE from O;
List<AxiomInterface>	OntologyBasedModularizer.getModule(List<AxiomInterface> axioms, TSignature sig, ModuleType type)
void	TModularizer.preprocessOntology(Collection<AxiomInterface> vec) allow the checker to preprocess an ontology if necessary
void	SigIndex.preprocessOntology(Collection<AxiomInterface> axioms) preprocess given set of axioms
void	SemanticLocalityChecker.preprocessOntology(Collection<AxiomInterface> axioms) init kernel with the ontology signature
void	LocalityChecker.preprocessOntology(Collection<AxiomInterface> vec) allow the checker to preprocess an ontology if necessary
void	GeneralSyntacticLocalityChecker.preprocessOntology(Collection<AxiomInterface> s)
void	TOntologyAtom.setModule(Collection<AxiomInterface> module) set the module axioms