| Package | Description |
|---|---|
| org.semanticweb.owlapi.model |
Main API classes.
|
| org.semanticweb.owlapi.profiles.violations |
Violation classes.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
OWLObjectExactCardinality
Represents an
ObjectExactCardinality restriction in the OWL 2 Specification.
|
interface |
OWLObjectMaxCardinality
Represents an
ObjectMaxCardinality restriction in the OWL 2 Specification.
|
interface |
OWLObjectMinCardinality
Represents a
ObjectMinCardinality restriction in the OWL 2 Specification.
|
| Modifier and Type | Method and Description |
|---|---|
OWLObjectCardinalityRestriction |
UseOfNonSimplePropertyInCardinalityRestriction.getExpression() |
| Constructor and Description |
|---|
UseOfNonSimplePropertyInCardinalityRestriction(OWLOntology ontology,
OWLAxiom axiom,
OWLObjectCardinalityRestriction restriction) |
Copyright © 2018 The University of Manchester. All rights reserved.