Package | Description |
---|---|
org.semanticweb.owlapi.apibinding |
Binding package
|
org.semanticweb.owlapi.manchestersyntax.parser | |
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 | |
uk.ac.manchester.cs.owl.owlapi |
OWL API reference implementation package
|
Modifier and Type | Method | Description |
---|---|---|
static OWLHasKeyAxiom |
OWLFunctionalSyntaxFactory.HasKey(Set<OWLAnnotation> a,
OWLClassExpression classExpression,
OWLPropertyExpression... propertyExpressions) |
|
static OWLHasKeyAxiom |
OWLFunctionalSyntaxFactory.HasKey(OWLClassExpression classExpression,
OWLPropertyExpression... propertyExpressions) |
Modifier and Type | Method | Description |
---|---|---|
Set<OWLPropertyExpression> |
ManchesterOWLSyntaxParserImpl.parsePropertyList() |
Modifier and Type | Interface | 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 | 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 | Description |
---|---|---|
OWLPropertyExpression |
OWLRestriction.getProperty() |
Modifier and Type | Method | Description |
---|---|---|
Set<OWLPropertyExpression> |
OWLHasKeyAxiom.getPropertyExpressions() |
Gets the set of property expressions that form the key
|
Modifier and Type | Method | Description |
---|---|---|
OWLHasKeyAxiom |
OWLDataFactory.getOWLHasKeyAxiom(OWLClassExpression ce,
OWLPropertyExpression... properties) |
Modifier and Type | Method | 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 | 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 | Description |
---|---|---|
List<OWLPropertyExpression> |
PropertyAssertionValueShortFormProvider.getProperties() |
Constructor | 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 | Description |
---|---|---|
Set<OWLPropertyExpression> |
ManchesterOWLSyntaxParser.parsePropertyList() |
Modifier and Type | Class | 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 | Description |
---|---|---|
class |
OWLAnnotationPropertyImpl |
|
class |
OWLDataPropertyImpl |
|
class |
OWLObjectInverseOfImpl |
|
class |
OWLObjectPropertyExpressionImpl |
|
class |
OWLObjectPropertyImpl |
|
class |
OWLPropertyExpressionImpl |
Modifier and Type | Method | Description |
---|---|---|
Set<OWLPropertyExpression> |
OWLHasKeyAxiomImpl.getPropertyExpressions() |
Modifier and Type | Method | Description |
---|---|---|
OWLHasKeyAxiom |
OWLDataFactoryImpl.getOWLHasKeyAxiom(OWLClassExpression ce,
OWLPropertyExpression... properties) |
Modifier and Type | Method | Description |
---|---|---|
OWLHasKeyAxiom |
OWLDataFactoryImpl.getOWLHasKeyAxiom(OWLClassExpression ce,
Set<? extends OWLPropertyExpression> properties) |
|
OWLHasKeyAxiom |
OWLDataFactoryImpl.getOWLHasKeyAxiom(OWLClassExpression ce,
Set<? extends OWLPropertyExpression> objectProperties,
Set<? extends OWLAnnotation> annotations) |
Constructor | Description |
---|---|
OWLHasKeyAxiomImpl(OWLClassExpression expression,
Set<? extends OWLPropertyExpression> propertyExpressions,
Collection<? extends OWLAnnotation> annotations) |
Copyright © 2018 The University of Manchester. All rights reserved.