Uses of Interface
org.semanticweb.elk.owl.interfaces.ElkAssertionAxiom

Packages that use ElkAssertionAxiom

org.semanticweb.elk.owl.interfaces

Uses of ElkAssertionAxiom in org.semanticweb.elk.owl.interfaces

Subinterfaces of ElkAssertionAxiom in org.semanticweb.elk.owl.interfaces

interface	ElkClassAssertionAxiom Corresponds to an class assertion axiom in the OWL 2 specification.
interface	ElkDataPropertyAssertionAxiom Corresponds to an positive data property assertion axiom in the OWL 2 specification.
interface	ElkDifferentIndividualsAxiom Corresponds to an individual inequality axiom in the OWL 2 specification.
interface	ElkNegativeDataPropertyAssertionAxiom Corresponds to an negative data property assertion axiom in the OWL 2 specification.
interface	ElkNegativeObjectPropertyAssertionAxiom Corresponds to an negative object property assertion axiom in the OWL 2 specification.
interface	ElkObjectPropertyAssertionAxiom Corresponds to an positive object property assertion axiom in the OWL 2 specification.
interface	ElkPropertyAssertionAxiom<P,S,O> /** A generic interface for object and data property assertion axioms.
interface	ElkSameIndividualAxiom Corresponds to an individual equality axiom in the OWL 2 specification.