Package | Description |
---|---|
org.semanticweb.owlapi.apibinding |
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.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()
Gets the set of property expressions that form the key.
|
Stream<OWLPropertyExpression> |
OWLHasKeyAxiom.propertyExpressions() |
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 |
---|---|
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 |
---|---|
List<OWLPropertyExpression> |
OWLHasKeyAxiomImpl.getOperandsAsList() |
Stream<OWLPropertyExpression> |
OWLHasKeyAxiomImpl.operands() |
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 © 2020 The University of Manchester. All rights reserved.