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 and Description |
---|---|
static OWLHasKeyAxiom |
OWLFunctionalSyntaxFactory.HasKey(OWLClassExpression classExpression,
OWLPropertyExpression... propertyExpressions) |
static OWLHasKeyAxiom |
OWLFunctionalSyntaxFactory.HasKey(Set<OWLAnnotation> a,
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 |
---|---|
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 properties which have been asserted to be disjoint with e in the specified
ontologies.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getDisjointProperties(P e,
OWLOntology ontology)
Gets the properties which have been asserted to be disjoint with e in the specified ontology.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getEquivalentProperties(P e,
Iterable<OWLOntology> ontologies)
Gets the properties which have been asserted to be equivalent with e by axioms in the
specified ontologies.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getEquivalentProperties(P e,
OWLOntology ontology)
Gets the properties which have been asserted to be equivalent with e by axioms in the
specified ontology.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getSubProperties(P e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of e 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 e 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 e in the specified ontology.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getSuperProperties(P e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be super-properties of e in the specified
ontologies.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getSuperProperties(P e,
OWLOntology ontology)
Gets the properties which are asserted to be super-properties of e in the specified ontology.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getSuperProperties(P e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be super-properties of e 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 |
OWLObjectPropertyExpressionImpl |
class |
OWLObjectPropertyImpl |
class |
OWLPropertyExpressionImpl |
Modifier and Type | Method and Description |
---|---|
Set<OWLPropertyExpression> |
OWLHasKeyAxiomImpl.getPropertyExpressions() |
Modifier and Type | Method and Description |
---|---|
OWLHasKeyAxiom |
OWLDataFactoryImpl.getOWLHasKeyAxiom(OWLClassExpression ce,
OWLPropertyExpression... properties) |
Modifier and Type | Method and Description |
---|---|
OWLHasKeyAxiom |
OWLDataFactoryImpl.getOWLHasKeyAxiom(OWLClassExpression ce,
Set<? extends OWLPropertyExpression> properties) |
OWLHasKeyAxiom |
OWLDataFactoryImpl.getOWLHasKeyAxiom(OWLClassExpression ce,
Set<? extends OWLPropertyExpression> objectProperties,
Set<? extends OWLAnnotation> annotations) |
Constructor and Description |
---|
OWLHasKeyAxiomImpl(OWLClassExpression expression,
Set<? extends OWLPropertyExpression> propertyExpressions,
Collection<? extends OWLAnnotation> annotations) |
Copyright © 2020 The University of Manchester. All rights reserved.