Uses of Class
org.tweetyproject.logics.dl.syntax.DlAxiom
-
Packages that use DlAxiom Package Description org.tweetyproject.logics.dl.parser org.tweetyproject.logics.dl.reasoner org.tweetyproject.logics.dl.semantics org.tweetyproject.logics.dl.syntax -
-
Uses of DlAxiom in org.tweetyproject.logics.dl.parser
Methods in org.tweetyproject.logics.dl.parser that return DlAxiom Modifier and Type Method Description DlAxiom
DlParser. parseFormula(java.io.Reader reader)
-
Uses of DlAxiom in org.tweetyproject.logics.dl.reasoner
Methods in org.tweetyproject.logics.dl.reasoner with parameters of type DlAxiom Modifier and Type Method Description java.lang.Boolean
NaiveDlReasoner. query(DlBeliefSet kb, DlAxiom formula)
-
Uses of DlAxiom in org.tweetyproject.logics.dl.semantics
Methods in org.tweetyproject.logics.dl.semantics with parameters of type DlAxiom Modifier and Type Method Description boolean
DlInterpretation. satisfies(DlAxiom formula)
-
Uses of DlAxiom in org.tweetyproject.logics.dl.syntax
Subclasses of DlAxiom in org.tweetyproject.logics.dl.syntax Modifier and Type Class Description class
AssertionalAxiom
Abstract base class for assertional axioms (concept assertions and role assertions).class
ConceptAssertion
This class models a concept assertion in description logic, i.e.class
EquivalenceAxiom
This class models an equivalence axiom, also known as general concept inclusion (GCU), meaning an expression of the form "C is a subset of or equal to D" with C and D as Concepts.class
RoleAssertion
This class models a role assertion in description logic, i.e.Methods in org.tweetyproject.logics.dl.syntax that return DlAxiom Modifier and Type Method Description abstract DlAxiom
DlAxiom. clone()
Methods in org.tweetyproject.logics.dl.syntax that return types with arguments of type DlAxiom Modifier and Type Method Description java.util.Set<DlAxiom>
DlBeliefSet. getABox()
Returns the ABox section of the knowledge.java.util.Set<DlAxiom>
DlBeliefSet. getTBox()
Returns the TBox section of the knowledge.Constructor parameters in org.tweetyproject.logics.dl.syntax with type arguments of type DlAxiom Constructor Description DlBeliefSet(java.util.Set<DlAxiom> formulas)
Creates a new description logics knowledge base with the given set of axioms.
-