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

Packages that use ElkAssertionAxiom

Package	Description
org.semanticweb.elk.owl.interfaces

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

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

Modifier and Type	Interface and Description
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.