Package | Description |
---|---|
org.semanticweb.owlapi.model | |
uk.ac.manchester.cs.owl.owlapi |
Modifier and Type | Interface and Description |
---|---|
interface |
OWLDifferentIndividualsAxiom
Represents a DifferentIndividuals axiom in the OWL 2 Specification.
|
interface |
OWLSameIndividualAxiom
Represents an
SameIndividual axiom in the OWL 2 Specification.
|
Modifier and Type | Class and Description |
---|---|
class |
OWLDifferentIndividualsAxiomImpl |
class |
OWLNaryIndividualAxiomImpl |
class |
OWLSameIndividualAxiomImpl |
Copyright © 2017 The University of Manchester. All Rights Reserved.