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

Packages that use Axiom

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 Axiom in uk.ac.manchester.cs.jfact

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

Modifier and Type	Method and Description
Axiom	TranslationMachinery.DeclarationVisitorEx.visit(org.semanticweb.owlapi.model.OWLAnnotationProperty property)
Axiom	TranslationMachinery.DeclarationVisitorEx.visit(org.semanticweb.owlapi.model.OWLClass cls)
Axiom	TranslationMachinery.DeclarationVisitorEx.visit(org.semanticweb.owlapi.model.OWLDataProperty property)
Axiom	TranslationMachinery.DeclarationVisitorEx.visit(org.semanticweb.owlapi.model.OWLDatatype datatype)
Axiom	TranslationMachinery.DeclarationVisitorEx.visit(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
Axiom	TranslationMachinery.DeclarationVisitorEx.visit(org.semanticweb.owlapi.model.OWLObjectProperty property)

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

Modifier and Type	Method and Description
Set<Axiom>	JFactReasoner.getAtomModule(int index) get a set of axioms that corresponds to the module of the atom with the

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

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

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

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

Modifier and Type	Method and Description
Axiom	Ontology.add(Axiom p) add given axiom to the ontology
Axiom	ReasoningKernel.declare(org.semanticweb.owlapi.model.OWLAxiom ax, Expression C) axiom declare(x)
Axiom	ReasoningKernel.disjointConcepts(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> l) axiom C1 != ...
Axiom	ReasoningKernel.disjointDRoles(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> l) axiom R1 != R2 != ...
Axiom	ReasoningKernel.disjointORoles(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> l) axiom R1 != R2 != ...
Axiom	ReasoningKernel.disjointUnion(org.semanticweb.owlapi.model.OWLAxiom ax, ConceptExpression C, List<Expression> l) axiom C = C1 or ...
Axiom	ReasoningKernel.equalConcepts(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> l) axiom C1 = ...
Axiom	ReasoningKernel.equalDRoles(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> l) axiom R1 = R2 = ...
Axiom	ReasoningKernel.equalORoles(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> l) axiom R1 = R2 = ...
Axiom	Ontology.get(int i)
Axiom	ReasoningKernel.impliesConcepts(org.semanticweb.owlapi.model.OWLAxiom ax, ConceptExpression C, ConceptExpression D) axiom C [= D
Axiom	ReasoningKernel.impliesDRoles(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression R, DataRoleExpression S) axiom (R [= S)
Axiom	ReasoningKernel.impliesORoles(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleComplexExpression R, ObjectRoleExpression S) axiom (R [= S)
Axiom	ReasoningKernel.instanceOf(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression I, ConceptExpression C) axiom I e C
Axiom	ReasoningKernel.processDifferent(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> l) different individuals
Axiom	ReasoningKernel.processSame(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> l) same individuals
Axiom	ReasoningKernel.relatedTo(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression I, ObjectRoleExpression R, IndividualExpression J) axiom :R
Axiom	ReasoningKernel.relatedToNot(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression I, ObjectRoleExpression R, IndividualExpression J) axiom :\neg R
Axiom	ReasoningKernel.setAsymmetric(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R) AntySymmetric (R): disjoint(R,R^-)
Axiom	ReasoningKernel.setDDomain(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression R, ConceptExpression C) Domain (R C)
Axiom	ReasoningKernel.setDFunctional(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression R) Functional (R)
Axiom	ReasoningKernel.setDRange(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression R, DataExpression E) Range (R E)
Axiom	ReasoningKernel.setFairnessConstraint(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> l) let all concept expressions in the ArgQueue to be fairness constraints
Axiom	ReasoningKernel.setInverseFunctional(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R) InverseFunctional (R)
Axiom	ReasoningKernel.setInverseRoles(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R, ObjectRoleExpression S) R = Inverse(S)
Axiom	ReasoningKernel.setIrreflexive(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R) Irreflexive (R): Domain(R) = \neg ER.Self
Axiom	ReasoningKernel.setODomain(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R, ConceptExpression C) Domain (R C)
Axiom	ReasoningKernel.setOFunctional(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R) Functional (R)
Axiom	ReasoningKernel.setORange(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R, ConceptExpression C) Range (R C)
Axiom	ReasoningKernel.setReflexive(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R) Reflexive (R)
Axiom	ReasoningKernel.setSymmetric(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R) Symmetric (R): R [= R^-
Axiom	ReasoningKernel.setTransitive(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R) Transitive (R)
Axiom	ReasoningKernel.valueOf(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression I, DataRoleExpression A, Literal<?> V) axiom (value I A V)
Axiom	ReasoningKernel.valueOfNot(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression I, DataRoleExpression A, Literal<?> V) axiom :\neg A

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

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

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

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

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

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

Modifier and Type	Class and Description
class	AbstractNaryAxiom<I extends Expression> n-ary axiom base class
class	AxiomConceptInclusion
class	AxiomDeclaration
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
class	AxiomDRoleFunctional
class	AxiomDRoleRange
class	AxiomDRoleSubsumption
class	AxiomEquivalentConcepts
class	AxiomEquivalentDRoles Data Role equivalence axiom
class	AxiomEquivalentORoles Object Role equivalence axiom
class	AxiomFairnessConstraint Fairness constraint axiom
class	AxiomInstanceOf
class	AxiomORoleDomain
class	AxiomORoleFunctional
class	AxiomORoleRange
class	AxiomORoleSubsumption
class	AxiomRelatedTo
class	AxiomRelatedToNot
class	AxiomRoleAsymmetric
class	AxiomRoleInverse
class	AxiomRoleInverseFunctional
class	AxiomRoleIrreflexive
class	AxiomRoleReflexive
class	AxiomRoleSymmetric
class	AxiomRoleTransitive
class	AxiomSameIndividuals Same individuals axiom
class	AxiomSingleDRole
class	AxiomSingleORole
class	AxiomValueOf
class	AxiomValueOfNot

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

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

Modifier and Type	Field and Description
Set<Axiom>	TSplitVar.Entry.Module

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

Modifier and Type	Method and Description
List<Axiom>	TModularizer.extractModule(List<Axiom> list, TSignature signature, ModuleType type) extract module wrt SIGNATURE and TYPE from O; @return result in the Set
Set<Axiom>	TOntologyAtom.getAtomAxioms() get all the atom's axioms
Collection<Axiom>	SigIndex.getAxioms(NamedEntity entity) given an entity, return a set of all axioms that tontain this entity in a signature
Set<Axiom>	TOntologyAtom.getModule() get all the module axioms
List<Axiom>	TModularizer.getModule() get the last computed module
Set<Axiom>	SigIndex.getNonLocal(boolean top) get the non-local axioms with top-locality value TOP
List<Axiom>	AtomicDecomposer.getTautologies()

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

Modifier and Type	Method and Description
void	TOntologyAtom.addAxiom(Axiom ax) add axiom AX to an atom
protected ConceptExpression	SemanticLocalityChecker.getExpr(Axiom axiom)
boolean	SyntacticLocalityChecker.local(Axiom axiom)
boolean	SemanticLocalityChecker.local(Axiom axiom)
boolean	LocalityChecker.local(Axiom axiom)
void	SigIndex.processAx(Axiom ax) process an axiom wrt its Used status

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

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