Package | Description |
---|---|
org.semanticweb.owlapi.latex.renderer |
LaTeX syntax renderer
|
org.semanticweb.owlapi.model |
Main API classes.
|
org.semanticweb.owlapi.profiles.violations | |
uk.ac.manchester.cs.owl.owlapi |
OWL API reference implementation package
|
Modifier and Type | Method and Description |
---|---|
void |
LatexBracketChecker.visit(OWLObjectCardinalityRestriction node) |
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) |
Modifier and Type | Class and Description |
---|---|
class |
OWLObjectCardinalityRestrictionImpl |
class |
OWLObjectExactCardinalityImpl |
class |
OWLObjectMaxCardinalityImpl |
class |
OWLObjectMinCardinalityImpl |
Copyright © 2020 The University of Manchester. All rights reserved.