| Package | Description |
|---|---|
| org.semanticweb.owlapi.model | |
| org.semanticweb.owlapi.util |
| Modifier and Type | Interface and Description |
|---|---|
interface |
OWLFunctionalDataPropertyAxiom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 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) |
Copyright © 2013 The University of Manchester. All Rights Reserved.