Package | Description |
---|---|
org.coode.owlapi.latex | |
org.semanticweb.owlapi.model | |
uk.ac.manchester.cs.owl.owlapi |
Modifier and Type | Method and Description |
---|---|
void |
LatexBracketChecker.visit(OWLDataCardinalityRestriction node) |
Modifier and Type | Interface and Description |
---|---|
interface |
OWLDataExactCardinality
Represents DataExactCardinality retrictions in the OWL 2 Specification.
|
interface |
OWLDataMaxCardinality
Represents
DataMaxCardinality retrictions in the OWL 2 Specification.
|
interface |
OWLDataMinCardinality
Represents
DataMinCardinality retrictions in the OWL 2 Specification.
|
Modifier and Type | Class and Description |
---|---|
class |
OWLDataCardinalityRestrictionImpl |
class |
OWLDataExactCardinalityImpl |
class |
OWLDataMaxCardinalityImpl |
class |
OWLDataMinCardinalityImpl |
Copyright © 2017 The University of Manchester. All Rights Reserved.