| Package | Description |
|---|---|
| org.coode.owlapi.manchesterowlsyntax | |
| org.semanticweb.owlapi.model | |
| org.semanticweb.owlapi.util | |
| uk.ac.manchester.cs.owl.owlapi |
| Modifier and Type | Method and Description |
|---|---|
protected OWLDataPropertyCharacteristicAxiom |
ManchesterOWLSyntaxEditorParser.parseDataPropertyCharacteristic(OWLDataPropertyExpression prop) |
| Modifier and Type | Interface and Description |
|---|---|
interface |
OWLFunctionalDataPropertyAxiom
Represents a FunctionalDataProperty axiom in the OWL 2 Specification.
|
| Modifier and Type | Method and Description |
|---|---|
protected void |
InferredDataPropertyCharacteristicAxiomGenerator.addAxioms(OWLDataProperty entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLDataPropertyCharacteristicAxiom> result) |
| Modifier and Type | Class and Description |
|---|---|
class |
OWLDataPropertyCharacteristicAxiomImpl |
class |
OWLFunctionalDataPropertyAxiomImpl |
Copyright © 2014 The University of Manchester. All Rights Reserved.