| Package | Description |
|---|---|
| org.semanticweb.owlapi.apibinding |
Guice modules and binding package.
|
| org.semanticweb.owlapi.manchestersyntax.parser |
Manchester OWL syntax parser and renderer.
|
| org.semanticweb.owlapi.model |
Main API classes.
|
| org.semanticweb.owlapi.model.axiomproviders |
Axiom provider classes.
|
| org.semanticweb.owlapi.search |
Search utilities package.
|
| org.semanticweb.owlapi.util |
Utilities package.
|
| org.semanticweb.owlapi.util.mansyntax | |
| uk.ac.manchester.cs.owl.owlapi |
OWL API reference implementation package.
|
| Modifier and Type | Method and Description |
|---|---|
static OWLHasKeyAxiom |
OWLFunctionalSyntaxFactory.HasKey(Collection<OWLAnnotation> a,
OWLClassExpression classExpression,
OWLPropertyExpression... propertyExpressions) |
static OWLHasKeyAxiom |
OWLFunctionalSyntaxFactory.HasKey(OWLClassExpression classExpression,
OWLPropertyExpression... propertyExpressions) |
| Modifier and Type | Method and Description |
|---|---|
Set<OWLPropertyExpression> |
ManchesterOWLSyntaxParserImpl.parsePropertyList() |
| 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 |
|---|---|
default Set<OWLPropertyExpression> |
OWLHasKeyAxiom.getPropertyExpressions()
Deprecated.
use the stream method
|
Stream<OWLPropertyExpression> |
OWLHasKeyAxiom.propertyExpressions()
Gets the set of property expressions that form the key.
|
| Modifier and Type | Method and Description |
|---|---|
default OWLHasKeyAxiom |
HasKeyAxiomProvider.getOWLHasKeyAxiom(OWLClassExpression ce,
OWLPropertyExpression... properties) |
| Modifier and Type | Method and Description |
|---|---|
default OWLHasKeyAxiom |
HasKeyAxiomProvider.getOWLHasKeyAxiom(OWLClassExpression ce,
Collection<? extends OWLPropertyExpression> properties) |
OWLHasKeyAxiom |
HasKeyAxiomProvider.getOWLHasKeyAxiom(OWLClassExpression ce,
Collection<? extends OWLPropertyExpression> objectProperties,
Collection<OWLAnnotation> annotations) |
| Modifier and Type | Method and Description |
|---|---|
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.getDisjointProperties(P e,
Stream<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.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,
Stream<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,
Stream<OWLOntology> ontologies)
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() |
| Modifier and Type | Class and Description |
|---|---|
class |
OWLIndividualRelationshipAxiomImpl<P extends OWLPropertyExpression,O extends OWLPropertyAssertionObject> |
class |
OWLNaryPropertyAxiomImpl<P extends OWLPropertyExpression> |
class |
OWLPropertyDomainAxiomImpl<P extends OWLPropertyExpression> |
class |
OWLPropertyRangeAxiomImpl<P extends OWLPropertyExpression,R extends OWLPropertyRange> |
class |
OWLSubPropertyAxiomImpl<P extends OWLPropertyExpression> |
class |
OWLUnaryPropertyAxiomImpl<P extends OWLPropertyExpression> |
| Modifier and Type | Class and Description |
|---|---|
class |
OWLAnnotationPropertyImpl |
class |
OWLDataPropertyImpl |
class |
OWLObjectInverseOfImpl |
class |
OWLObjectPropertyImpl |
| Modifier and Type | Method and Description |
|---|---|
Stream<OWLPropertyExpression> |
OWLHasKeyAxiomImpl.propertyExpressions() |
| Modifier and Type | Method and Description |
|---|---|
OWLHasKeyAxiom |
OWLDataFactoryImpl.getOWLHasKeyAxiom(OWLClassExpression ce,
Collection<? extends OWLPropertyExpression> objectProperties,
Collection<OWLAnnotation> annotations) |
| Constructor and Description |
|---|
OWLHasKeyAxiomImpl(OWLClassExpression expression,
Collection<? extends OWLPropertyExpression> propertyExpressions,
Collection<OWLAnnotation> annotations) |
Copyright © 2017 The University of Manchester. All rights reserved.