Uses of Class
org.dllearner.core.owl.Axiom

Packages that use Axiom

org.dllearner.algorithms	Learning Algorithms.
org.dllearner.core	Core structure of DL-Learner including the definition of component types and a component manager.
org.dllearner.core.owl	Classes/Interfaces for representing OWL constructs - see the OWL 2 Structural Specification for details.
org.dllearner.reasoning	Implements the connection to other reasoner or own reasoning/caching algorithms.
org.dllearner.reasoning.fuzzydll
org.dllearner.utilities.owl	OWL utility classes (file manipulation, converting between different formats, orderings on OWL structures etc.).

Uses of Axiom in org.dllearner.algorithms

Methods in org.dllearner.algorithms that return types with arguments of type Axiom

List<Axiom>	DisjointClassesLearner.getCurrentlyBestAxioms(int nrOfAxioms)
List<Axiom>	SimpleSubclassLearner.getCurrentlyBestAxioms(int nrOfAxioms)

Uses of Axiom in org.dllearner.core

Methods in org.dllearner.core that return Axiom

Axiom

EvaluatedAxiom.getAxiom()

Methods in org.dllearner.core that return types with arguments of type Axiom

List<Axiom>	AxiomLearningAlgorithm.getCurrentlyBestAxioms()
List<Axiom>	AbstractAxiomLearningAlgorithm.getCurrentlyBestAxioms()
List<Axiom>	AxiomLearningAlgorithm.getCurrentlyBestAxioms(int nrOfAxioms)
List<Axiom>	AbstractAxiomLearningAlgorithm.getCurrentlyBestAxioms(int nrOfAxioms)
List<Axiom>	AbstractAxiomLearningAlgorithm.getCurrentlyBestAxioms(int nrOfAxioms, double accuracyThreshold)

Methods in org.dllearner.core with parameters of type Axiom

boolean	BaseReasoner.remainsSatisfiable(Axiom axiom) Checks whether adding the specified axiom leads to an inconsistency.
boolean	AbstractReasonerComponent.remainsSatisfiable(Axiom axiom)

Constructors in org.dllearner.core with parameters of type Axiom

EvaluatedAxiom(Axiom axiom, Score score)

Uses of Axiom in org.dllearner.core.owl

Subclasses of Axiom in org.dllearner.core.owl

class	AssertionalAxiom
class	AsymmetricObjectPropertyAxiom
class	BooleanDatatypePropertyAssertion
class	ClassAssertionAxiom Represents a concept assertion in a knowledge base / ontology, e.g.
class	DatatypePropertyAssertion A datatype property assertion.
class	DatatypePropertyDomainAxiom
class	DatatypePropertyRangeAxiom
class	DifferentIndividualsAxiom
class	DisjointClassesAxiom
class	DisjointDatatypePropertyAxiom
class	DisjointObjectPropertyAxiom
class	DoubleDatatypePropertyAssertion
class	EquivalentClassesAxiom
class	EquivalentDatatypePropertiesAxiom
class	EquivalentObjectPropertiesAxiom
class	FunctionalDatatypePropertyAxiom
class	FunctionalObjectPropertyAxiom
class	InverseFunctionalObjectPropertyAxiom
class	InverseObjectPropertyAxiom
class	IrreflexiveObjectPropertyAxiom
class	ObjectPropertyAssertion Represents an role assertion in a knowledge base / ontology, e.g.
class	ObjectPropertyDomainAxiom
class	ObjectPropertyRangeAxiom
class	PropertyAssertion
class	PropertyAxiom
class	PropertyDomainAxiom Axiom to specifiy the domain of a property.
class	PropertyRangeAxiom
class	ReflexiveObjectPropertyAxiom
class	StringDatatypePropertyAssertion
class	SubClassAxiom
class	SubDatatypePropertyAxiom
class	SubObjectPropertyAxiom
class	SymmetricObjectPropertyAxiom
class	TerminologicalAxiom
class	TransitiveObjectPropertyAxiom

Methods in org.dllearner.core.owl that return types with arguments of type Axiom

Set<Axiom>

KB.getAxioms() Returns all axioms in the ontology.

Methods in org.dllearner.core.owl with parameters of type Axiom

void	KB.addAxiom(Axiom axiom) Convenience method, which adds an axiom to ABox, RBox, or TBox depending on whether it is an assertional, role, or terminological axiom.

Uses of Axiom in org.dllearner.reasoning

Methods in org.dllearner.reasoning with parameters of type Axiom

static StringBuilder	DIGConverter.getDIGString(Axiom axiom)
boolean	ProtegeReasoner.remainsSatisfiableImpl(Axiom axiom)
boolean	OWLAPIReasoner.remainsSatisfiableImpl(Axiom axiom)
boolean	PelletReasoner.remainsSatisfiableImpl(Axiom axiom)
boolean	FastInstanceChecker.remainsSatisfiableImpl(Axiom axiom)

Uses of Axiom in org.dllearner.reasoning.fuzzydll

Methods in org.dllearner.reasoning.fuzzydll with parameters of type Axiom

boolean

FuzzyOWLAPIReasoner.remainsSatisfiableImpl(Axiom axiom)

Uses of Axiom in org.dllearner.utilities.owl

Methods in org.dllearner.utilities.owl with parameters of type Axiom

static org.semanticweb.owlapi.model.OWLAxiom	OWLAPIAxiomConvertVisitor.convertAxiom(Axiom axiom)
static org.semanticweb.owlapi.model.OWLAxiom	OWLAPIConverter.getOWLAPIAxiom(Axiom axiom) Converts a DL-Learner axiom into an OWL API axiom.
static String	OWLAPIRenderers.toOWLXMLSyntax(Axiom axiom)
static String	OWLAPIRenderers.toRDFXMLSyntax(Axiom axiom)
static String	OWLAPIRenderers.toTurtleSyntax(Axiom axiom)
static String	OWLAPIRenderers.toTurtleSyntax(Axiom axiom, boolean shortVersion)