| Package | Description |
|---|---|
| org.semanticweb.owlapi.model |
Main API classes.
|
| org.semanticweb.owlapi.search |
Search utulities package
|
| org.semanticweb.owlapi.util |
Utilities package
|
| org.semanticweb.owlapi.util.mansyntax |
| Modifier and Type | Interface and Description |
|---|---|
interface |
OWLNaryPropertyAxiom<P extends OWLPropertyExpression> |
interface |
OWLPropertyAssertionAxiom<P extends OWLPropertyExpression,O extends OWLPropertyAssertionObject>
Represents an Assertion in the OWL
2 specification.
|
interface |
OWLPropertyDomainAxiom<P extends OWLPropertyExpression>
Represents
ObjectPropertyDomain axioms in the OWL 2 specification.
|
interface |
OWLPropertyRangeAxiom<P extends OWLPropertyExpression,R extends OWLPropertyRange>
Represents
ObjectPropertyRange axioms in the OWL 2 specification.
|
interface |
OWLSubPropertyAxiom<P extends OWLPropertyExpression> |
interface |
OWLUnaryPropertyAxiom<P extends OWLPropertyExpression> |
| Modifier and Type | Interface and Description |
|---|---|
interface |
OWLAnnotationProperty
Represents an AnnotationProperty in the OWL 2 specification.
|
interface |
OWLDataProperty
Represents a Data
Property in the OWL 2 Specification.
|
interface |
OWLDataPropertyExpression
A high level interface to describe different types of data properties.
|
interface |
OWLObjectInverseOf
Represents a ObjectInverseOf Represents the inverse of a property expression.
|
interface |
OWLObjectProperty
Represents an Object
Property in the OWL 2 Specification.
|
interface |
OWLObjectPropertyExpression |
interface |
OWLProperty
A marker interface for properties that aren't expression i.e.
|
| Modifier and Type | Method and Description |
|---|---|
OWLPropertyExpression |
OWLRestriction.getProperty() |
| Modifier and Type | Method and Description |
|---|---|
Set<OWLPropertyExpression> |
OWLHasKeyAxiom.getPropertyExpressions()
Gets the set of property expressions that form the key
|
| Modifier and Type | Method and Description |
|---|---|
OWLHasKeyAxiom |
OWLDataFactory.getOWLHasKeyAxiom(OWLClassExpression ce,
OWLPropertyExpression... properties) |
| Modifier and Type | Method and Description |
|---|---|
OWLHasKeyAxiom |
OWLDataFactory.getOWLHasKeyAxiom(OWLClassExpression ce,
Set<? extends OWLPropertyExpression> properties) |
OWLHasKeyAxiom |
OWLDataFactory.getOWLHasKeyAxiom(OWLClassExpression ce,
Set<? extends OWLPropertyExpression> objectProperties,
Set<? extends OWLAnnotation> annotations) |
| Modifier and Type | Method and Description |
|---|---|
static <P extends OWLPropertyExpression> |
EntitySearcher.getDisjointProperties(P e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontologies.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getDisjointProperties(P e,
OWLOntology ontology)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontology.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getEquivalentProperties(P e,
Iterable<OWLOntology> ontologies)
A convenience method that examines the axioms in the specified ontologies
and returns the class expressions corresponding to equivalent classes of
this class.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getEquivalentProperties(P e,
OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology
and returns the class expressions corresponding to equivalent classes of
this class.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getSubProperties(P e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getSubProperties(P e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getSubProperties(P e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getSuperProperties(P e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getSuperProperties(P e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getSuperProperties(P e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
| Modifier and Type | Method and Description |
|---|---|
List<OWLPropertyExpression> |
PropertyAssertionValueShortFormProvider.getProperties() |
| Constructor and Description |
|---|
PropertyAssertionValueShortFormProvider(List<OWLPropertyExpression> properties,
Map<OWLDataPropertyExpression,List<String>> preferredLanguageMap,
OWLOntologySetProvider ontologySetProvider)
Constructs a property value short form provider.
|
PropertyAssertionValueShortFormProvider(List<OWLPropertyExpression> properties,
Map<OWLDataPropertyExpression,List<String>> preferredLanguageMap,
OWLOntologySetProvider ontologySetProvider,
ShortFormProvider alternateShortFormProvider)
Constructs a property value short form provider.
|
| Modifier and Type | Method and Description |
|---|---|
Set<OWLPropertyExpression> |
ManchesterOWLSyntaxParser.parsePropertyList() |
Copyright © 2016 The University of Manchester. All Rights Reserved.