Package openllet.owlapi
Class OWL
- java.lang.Object
-
- openllet.owlapi.OWL
-
- All Implemented Interfaces:
FacetFactoryOWL,FacetManagerOWL,openllet.shared.tools.Logging
public class OWL extends java.lang.Object implements FacetManagerOWL, FacetFactoryOWL, openllet.shared.tools.Logging
Description: Utility class to generate OWL concepts in a concise and readable way.
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
- Author:
- Evren Sirin
-
-
Field Summary
Fields Modifier and Type Field Description static org.semanticweb.owlapi.model.OWLDataFactory_factorystatic org.semanticweb.owlapi.model.OWLOntologyManager_managerstatic OWLGroup_managerGroupstatic org.semanticweb.owlapi.model.OWLDataPropertybottomDataPropertystatic org.semanticweb.owlapi.model.OWLObjectPropertybottomObjectPropertystatic org.semanticweb.owlapi.model.OWLLiteralFALSEstatic org.semanticweb.owlapi.model.OWLClassNothingstatic org.semanticweb.owlapi.model.OWLClassThingstatic org.semanticweb.owlapi.model.OWLDataPropertytopDataPropertystatic org.semanticweb.owlapi.model.OWLObjectPropertytopObjectPropertystatic org.semanticweb.owlapi.model.OWLLiteralTRUE
-
Constructor Summary
Constructors Constructor Description OWL()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Deprecated Methods Modifier and Type Method Description static org.semanticweb.owlapi.model.OWLDataAllValuesFromall(org.semanticweb.owlapi.model.OWLDataPropertyExpression property, org.semanticweb.owlapi.model.OWLDataRange datatype)static org.semanticweb.owlapi.model.OWLObjectAllValuesFromall(org.semanticweb.owlapi.model.OWLObjectPropertyExpression property, org.semanticweb.owlapi.model.OWLClassExpression description)static org.semanticweb.owlapi.model.OWLObjectAllValuesFromallValuesFrom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression property, org.semanticweb.owlapi.model.OWLClassExpression description)Deprecated.2.5.1 Useall(OWLObjectPropertyExpression, OWLClassExpression)insteadstatic org.semanticweb.owlapi.model.OWLObjectIntersectionOfand(java.util.Set<? extends org.semanticweb.owlapi.model.OWLClassExpression> descriptions)static org.semanticweb.owlapi.model.OWLClassExpressionand(java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> objects, java.util.Set<org.semanticweb.owlapi.model.OWLDataPropertyExpression> datas, java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> classes)Return a class expression that is a logical and between a set of properties (objets/datas) and classes.static org.semanticweb.owlapi.model.OWLObjectIntersectionOfand(java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLClassExpression> descriptions)static org.semanticweb.owlapi.model.OWLObjectIntersectionOfand(org.semanticweb.owlapi.model.OWLClassExpression... descriptions)static org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiomannotation(org.semanticweb.owlapi.model.OWLEntity entity, org.semanticweb.owlapi.model.IRI annotationIRI, org.semanticweb.owlapi.model.OWLIndividual individual)static org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiomannotation(org.semanticweb.owlapi.model.OWLEntity entity, org.semanticweb.owlapi.model.IRI annotationIRI, org.semanticweb.owlapi.model.OWLLiteral constant)static org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiomannotation(org.semanticweb.owlapi.model.OWLEntity entity, org.semanticweb.owlapi.model.OWLAnnotation annotation)static org.semanticweb.owlapi.model.OWLAnonymousIndividualAnonymousIndividual()static org.semanticweb.owlapi.model.OWLAnonymousIndividualAnonymousIndividual(java.lang.String anonId)static org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiomasymmetric(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)static org.semanticweb.owlapi.model.OWLClassClass(java.lang.String iri)static org.semanticweb.owlapi.model.OWLClassClass(org.semanticweb.owlapi.model.IRI iri)static org.semanticweb.owlapi.model.OWLClassAssertionAxiomclassAssertion(org.semanticweb.owlapi.model.OWLIndividual ind, org.semanticweb.owlapi.model.OWLClassExpression desc)static org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiomcomment(org.semanticweb.owlapi.model.OWLEntity entity, java.lang.String comment)static org.semanticweb.owlapi.model.OWLObjectComplementOfcomplementOf(org.semanticweb.owlapi.model.OWLClassExpression description)Deprecated.2.5.1 Usenot(OWLClassExpression)insteadstatic org.semanticweb.owlapi.model.OWLLiteralconstant(boolean value)Convenience method that obtains a constant typed as an integer.static org.semanticweb.owlapi.model.OWLLiteralconstant(double value)Convenience method that obtains a constant typed as an integer.static org.semanticweb.owlapi.model.OWLLiteralconstant(float value)Convenience method that obtains a constant typed as an integer.static org.semanticweb.owlapi.model.OWLLiteralconstant(int value)Convenience method that obtains a constant typed as an integer.static org.semanticweb.owlapi.model.OWLLiteralconstant(java.lang.String value)static org.semanticweb.owlapi.model.OWLLiteralconstant(java.lang.String value, java.lang.String lang)static org.semanticweb.owlapi.model.OWLLiteralconstant(java.lang.String value, org.semanticweb.owlapi.model.OWLDatatype datatype)static org.semanticweb.owlapi.model.OWLDataIntersectionOfdataAnd(java.util.Set<? extends org.semanticweb.owlapi.model.OWLDataRange> descriptions)static org.semanticweb.owlapi.model.OWLDataIntersectionOfdataAnd(org.semanticweb.owlapi.model.OWLDataRange... descriptions)static org.semanticweb.owlapi.model.OWLDataComplementOfdataNot(org.semanticweb.owlapi.model.OWLDataRange description)static org.semanticweb.owlapi.model.OWLDataOneOfdataOneOf(java.util.Set<? extends org.semanticweb.owlapi.model.OWLLiteral> constants)static org.semanticweb.owlapi.model.OWLDataUnionOfdataOr(java.util.Set<? extends org.semanticweb.owlapi.model.OWLDataRange> descriptions)static org.semanticweb.owlapi.model.OWLDataUnionOfdataOr(java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLDataRange> descriptions)static org.semanticweb.owlapi.model.OWLDataUnionOfdataOr(org.semanticweb.owlapi.model.OWLDataRange... descriptions)static org.semanticweb.owlapi.model.OWLDataPropertyDataProperty(java.lang.String iri)static org.semanticweb.owlapi.model.OWLDataPropertyDataProperty(org.semanticweb.owlapi.model.IRI iri)static org.semanticweb.owlapi.model.OWLDatatypeDatatype(java.lang.String datatypeURI)static org.semanticweb.owlapi.model.OWLDatatypeDatatype(org.semanticweb.owlapi.model.IRI datatypeIRI)static org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiomdatatypeDefinition(org.semanticweb.owlapi.model.OWLDatatype d1, org.semanticweb.owlapi.model.OWLDataRange d2)static org.semanticweb.owlapi.model.OWLDeclarationAxiomdeclaration(org.semanticweb.owlapi.model.OWLEntity entity)static org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiomdifferentFrom(java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> inds)static org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiomdifferentFrom(org.semanticweb.owlapi.model.OWLIndividual i1, org.semanticweb.owlapi.model.OWLIndividual i2)static org.semanticweb.owlapi.model.OWLDisjointClassesAxiomdisjointClasses(java.util.Set<? extends org.semanticweb.owlapi.model.OWLClassExpression> descriptions)static org.semanticweb.owlapi.model.OWLDisjointClassesAxiomdisjointClasses(org.semanticweb.owlapi.model.OWLClassExpression d1, org.semanticweb.owlapi.model.OWLClassExpression d2)static org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiomdisjointProperties(org.semanticweb.owlapi.model.OWLDataPropertyExpression d1, org.semanticweb.owlapi.model.OWLDataPropertyExpression d2)static org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiomdisjointProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression d1, org.semanticweb.owlapi.model.OWLObjectPropertyExpression d2)static org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiomdomain(org.semanticweb.owlapi.model.OWLDataPropertyExpression p, org.semanticweb.owlapi.model.OWLClassExpression d)static org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiomdomain(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, org.semanticweb.owlapi.model.OWLClassExpression d)static org.semanticweb.owlapi.model.OWLEquivalentClassesAxiomequivalentClasses(java.util.Set<? extends org.semanticweb.owlapi.model.OWLClassExpression> descriptions)static org.semanticweb.owlapi.model.OWLEquivalentClassesAxiomequivalentClasses(java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLClassExpression> descriptions)static org.semanticweb.owlapi.model.OWLEquivalentClassesAxiomequivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression d1, org.semanticweb.owlapi.model.OWLClassExpression d2)static org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiomequivalentDataProperties(java.util.Set<? extends org.semanticweb.owlapi.model.OWLDataPropertyExpression> properties)static org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiomequivalentDataProperties(org.semanticweb.owlapi.model.OWLDataPropertyExpression p1, org.semanticweb.owlapi.model.OWLDataPropertyExpression p2)static org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiomequivalentProperties(java.util.Set<? extends org.semanticweb.owlapi.model.OWLObjectPropertyExpression> properties)static org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiomequivalentProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p1, org.semanticweb.owlapi.model.OWLObjectPropertyExpression p2)static org.semanticweb.owlapi.model.OWLClassExpressionexactly(org.semanticweb.owlapi.model.OWLDataProperty p, int card)static org.semanticweb.owlapi.model.OWLClassExpressionexactly(org.semanticweb.owlapi.model.OWLDataProperty p, int card, org.semanticweb.owlapi.model.OWLDataRange d)static org.semanticweb.owlapi.model.OWLClassExpressionexactly(org.semanticweb.owlapi.model.OWLObjectProperty p, int card)static org.semanticweb.owlapi.model.OWLClassExpressionexactly(org.semanticweb.owlapi.model.OWLObjectProperty p, int card, org.semanticweb.owlapi.model.OWLClassExpression desc)static org.semanticweb.owlapi.model.OWLFacetRestrictionfacetRestriction(org.semanticweb.owlapi.vocab.OWLFacet facet, org.semanticweb.owlapi.model.OWLLiteral facetValue)static org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiomfunctional(org.semanticweb.owlapi.model.OWLDataPropertyExpression p)static org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiomfunctional(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)org.semanticweb.owlapi.model.OWLDataFactorygetFactory()OWLGroupgetGroup()java.util.logging.LoggergetLogger()org.semanticweb.owlapi.model.OWLOntologyManagergetManager()static org.semanticweb.owlapi.model.OWLNamedIndividualIndividual(java.lang.String iri)static org.semanticweb.owlapi.model.OWLNamedIndividualIndividual(org.semanticweb.owlapi.model.IRI iri)static org.semanticweb.owlapi.model.OWLObjectInverseOfinverse(org.semanticweb.owlapi.model.OWLObjectProperty p)static org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiominverseFunctional(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)static org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiominverseProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p1, org.semanticweb.owlapi.model.OWLObjectPropertyExpression p2)static org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiomirreflexive(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)static org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiomlabel(org.semanticweb.owlapi.model.OWLEntity entity, java.lang.String label)static org.semanticweb.owlapi.model.OWLFacetRestrictionlength(int constant)static org.semanticweb.owlapi.model.OWLFacetRestrictionlength(org.semanticweb.owlapi.model.OWLLiteral constant)static org.semanticweb.owlapi.model.OWLDataMaxCardinalitymax(org.semanticweb.owlapi.model.OWLDataPropertyExpression p, int max)static org.semanticweb.owlapi.model.OWLDataMaxCardinalitymax(org.semanticweb.owlapi.model.OWLDataPropertyExpression p, int max, org.semanticweb.owlapi.model.OWLDataRange filler)static org.semanticweb.owlapi.model.OWLObjectMaxCardinalitymax(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, int max)static org.semanticweb.owlapi.model.OWLObjectMaxCardinalitymax(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, int max, org.semanticweb.owlapi.model.OWLClassExpression filler)static org.semanticweb.owlapi.model.OWLFacetRestrictionmaxExclusive(double constant)static org.semanticweb.owlapi.model.OWLFacetRestrictionmaxExclusive(float constant)static org.semanticweb.owlapi.model.OWLFacetRestrictionmaxExclusive(int constant)static org.semanticweb.owlapi.model.OWLFacetRestrictionmaxExclusive(org.semanticweb.owlapi.model.OWLLiteral constant)static org.semanticweb.owlapi.model.OWLFacetRestrictionmaxInclusive(double constant)static org.semanticweb.owlapi.model.OWLFacetRestrictionmaxInclusive(float constant)static org.semanticweb.owlapi.model.OWLFacetRestrictionmaxInclusive(int constant)static org.semanticweb.owlapi.model.OWLFacetRestrictionmaxInclusive(org.semanticweb.owlapi.model.OWLLiteral constant)static org.semanticweb.owlapi.model.OWLFacetRestrictionmaxLength(int constant)static org.semanticweb.owlapi.model.OWLFacetRestrictionmaxLength(org.semanticweb.owlapi.model.OWLLiteral constant)static org.semanticweb.owlapi.model.OWLDataMinCardinalitymin(org.semanticweb.owlapi.model.OWLDataPropertyExpression p, int min)static org.semanticweb.owlapi.model.OWLDataMinCardinalitymin(org.semanticweb.owlapi.model.OWLDataPropertyExpression p, int min, org.semanticweb.owlapi.model.OWLDataRange filler)static org.semanticweb.owlapi.model.OWLObjectMinCardinalitymin(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, int min)static org.semanticweb.owlapi.model.OWLObjectMinCardinalitymin(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, int min, org.semanticweb.owlapi.model.OWLClassExpression filler)static org.semanticweb.owlapi.model.OWLFacetRestrictionminExclusive(double constant)static org.semanticweb.owlapi.model.OWLFacetRestrictionminExclusive(float constant)static org.semanticweb.owlapi.model.OWLFacetRestrictionminExclusive(int constant)static org.semanticweb.owlapi.model.OWLFacetRestrictionminExclusive(org.semanticweb.owlapi.model.OWLLiteral constant)static org.semanticweb.owlapi.model.OWLFacetRestrictionminInclusive(double constant)static org.semanticweb.owlapi.model.OWLFacetRestrictionminInclusive(float constant)static org.semanticweb.owlapi.model.OWLFacetRestrictionminInclusive(int constant)static org.semanticweb.owlapi.model.OWLFacetRestrictionminInclusive(org.semanticweb.owlapi.model.OWLLiteral constant)static org.semanticweb.owlapi.model.OWLFacetRestrictionminLength(int constant)static org.semanticweb.owlapi.model.OWLFacetRestrictionminLength(org.semanticweb.owlapi.model.OWLLiteral constant)static org.semanticweb.owlapi.model.OWLObjectComplementOfnot(org.semanticweb.owlapi.model.OWLClassExpression description)static org.semanticweb.owlapi.model.OWLObjectOneOfobjectOneOf(java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> individuals)static org.semanticweb.owlapi.model.OWLObjectOneOfobjectOneOf(java.util.stream.Stream<org.semanticweb.owlapi.model.OWLIndividual> individuals)static org.semanticweb.owlapi.model.OWLObjectPropertyObjectProperty(java.lang.String iri)static org.semanticweb.owlapi.model.OWLObjectPropertyObjectProperty(org.semanticweb.owlapi.model.IRI iri)static org.semanticweb.owlapi.model.OWLObjectOneOfoneOf(org.semanticweb.owlapi.model.OWLIndividual... individuals)static org.semanticweb.owlapi.model.OWLDataOneOfoneOf(org.semanticweb.owlapi.model.OWLLiteral... constants)static org.semanticweb.owlapi.model.OWLDataAllValuesFromonly(org.semanticweb.owlapi.model.OWLDataPropertyExpression property, org.semanticweb.owlapi.model.OWLDataRange datatype)static org.semanticweb.owlapi.model.OWLObjectAllValuesFromonly(org.semanticweb.owlapi.model.OWLObjectPropertyExpression property, org.semanticweb.owlapi.model.OWLClassExpression description)static org.semanticweb.owlapi.model.OWLOntologyOntology(java.util.Collection<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)static org.semanticweb.owlapi.model.OWLOntologyOntology(java.util.Collection<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms, org.semanticweb.owlapi.model.IRI iri)static org.semanticweb.owlapi.model.OWLOntologyOntology(java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)static org.semanticweb.owlapi.model.OWLOntologyOntology(java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms, org.semanticweb.owlapi.model.IRI iri)static org.semanticweb.owlapi.model.OWLOntologyOntology(org.semanticweb.owlapi.model.OWLAxiom... axioms)static org.semanticweb.owlapi.model.OWLOntologyOntology(org.semanticweb.owlapi.model.OWLOntologyManager manager, java.util.Collection<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)static org.semanticweb.owlapi.model.OWLOntologyOntology(org.semanticweb.owlapi.model.OWLOntologyManager manager, java.util.Collection<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms, org.semanticweb.owlapi.model.IRI iri)static org.semanticweb.owlapi.model.OWLOntologyOntology(org.semanticweb.owlapi.model.OWLOntologyManager manager, java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)static org.semanticweb.owlapi.model.OWLOntologyOntology(org.semanticweb.owlapi.model.OWLOntologyManager manager, java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms, org.semanticweb.owlapi.model.IRI iri)static org.semanticweb.owlapi.model.OWLOntologyOntology(org.semanticweb.owlapi.model.OWLOntologyManager manager, org.semanticweb.owlapi.model.OWLAxiom... axioms)static org.semanticweb.owlapi.model.OWLObjectUnionOfor(java.util.Set<? extends org.semanticweb.owlapi.model.OWLClassExpression> descriptions)static org.semanticweb.owlapi.model.OWLObjectUnionOfor(java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLClassExpression> descriptions)static org.semanticweb.owlapi.model.OWLObjectUnionOfor(org.semanticweb.owlapi.model.OWLClassExpression... descriptions)static org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiompropertyAssertion(org.semanticweb.owlapi.model.OWLIndividual subj, org.semanticweb.owlapi.model.OWLDataPropertyExpression pred, org.semanticweb.owlapi.model.OWLLiteral obj)static org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiompropertyAssertion(org.semanticweb.owlapi.model.OWLIndividual subj, org.semanticweb.owlapi.model.OWLObjectPropertyExpression pred, org.semanticweb.owlapi.model.OWLIndividual obj)static org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiomrange(org.semanticweb.owlapi.model.OWLDataPropertyExpression p, org.semanticweb.owlapi.model.OWLDataRange d)static org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiomrange(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, org.semanticweb.owlapi.model.OWLClassExpression d)static org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiomreflexive(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)static org.semanticweb.owlapi.model.OWLDataRangerestrict(org.semanticweb.owlapi.model.OWLDatatype datatype, java.util.Set<org.semanticweb.owlapi.model.OWLFacetRestriction> restrictions)static org.semanticweb.owlapi.model.OWLDataRangerestrict(org.semanticweb.owlapi.model.OWLDatatype datatype, org.semanticweb.owlapi.model.OWLFacetRestriction... restrictions)static org.semanticweb.owlapi.model.OWLSameIndividualAxiomsameAs(java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> inds)static org.semanticweb.owlapi.model.OWLSameIndividualAxiomsameAs(org.semanticweb.owlapi.model.OWLIndividual i1, org.semanticweb.owlapi.model.OWLIndividual i2)static <T> java.util.Set<org.semanticweb.owlapi.model.OWLAxiom>schema(java.lang.Class<T> iface)Convert a java class into an owl schema for the class.static org.semanticweb.owlapi.model.OWLObjectHasSelfself(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)static org.semanticweb.owlapi.model.OWLDataSomeValuesFromsome(org.semanticweb.owlapi.model.OWLDataPropertyExpression property, org.semanticweb.owlapi.model.OWLDataRange datatype)static org.semanticweb.owlapi.model.OWLObjectSomeValuesFromsome(org.semanticweb.owlapi.model.OWLObjectPropertyExpression property, org.semanticweb.owlapi.model.OWLClassExpression description)static org.semanticweb.owlapi.model.OWLSubClassOfAxiomsubClassOf(org.semanticweb.owlapi.model.OWLClassExpression sub, org.semanticweb.owlapi.model.OWLClassExpression sup)static org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiomsubPropertyOf(org.semanticweb.owlapi.model.OWLDataPropertyExpression sub, org.semanticweb.owlapi.model.OWLDataPropertyExpression sup)static org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiomsubPropertyOf(org.semanticweb.owlapi.model.OWLObjectPropertyExpression[] subChain, org.semanticweb.owlapi.model.OWLObjectPropertyExpression sup)static org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiomsubPropertyOf(org.semanticweb.owlapi.model.OWLObjectPropertyExpression sub, org.semanticweb.owlapi.model.OWLObjectPropertyExpression sup)static org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiomsymmetric(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)static org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiomtransitive(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)static org.semanticweb.owlapi.model.OWLDataHasValuevalue(org.semanticweb.owlapi.model.OWLDataPropertyExpression property, org.semanticweb.owlapi.model.OWLLiteral constant)static org.semanticweb.owlapi.model.OWLObjectHasValuevalue(org.semanticweb.owlapi.model.OWLObjectPropertyExpression property, org.semanticweb.owlapi.model.OWLIndividual value)
-
-
-
Field Detail
-
_manager
public static final org.semanticweb.owlapi.model.OWLOntologyManager _manager
-
_managerGroup
public static final OWLGroup _managerGroup
-
_factory
public static final org.semanticweb.owlapi.model.OWLDataFactory _factory
-
Nothing
public static final org.semanticweb.owlapi.model.OWLClass Nothing
-
Thing
public static final org.semanticweb.owlapi.model.OWLClass Thing
-
topObjectProperty
public static final org.semanticweb.owlapi.model.OWLObjectProperty topObjectProperty
-
bottomObjectProperty
public static final org.semanticweb.owlapi.model.OWLObjectProperty bottomObjectProperty
-
topDataProperty
public static final org.semanticweb.owlapi.model.OWLDataProperty topDataProperty
-
bottomDataProperty
public static final org.semanticweb.owlapi.model.OWLDataProperty bottomDataProperty
-
TRUE
public static final org.semanticweb.owlapi.model.OWLLiteral TRUE
-
FALSE
public static final org.semanticweb.owlapi.model.OWLLiteral FALSE
-
-
Method Detail
-
getLogger
public java.util.logging.Logger getLogger()
- Specified by:
getLoggerin interfaceopenllet.shared.tools.Logging
-
getFactory
public org.semanticweb.owlapi.model.OWLDataFactory getFactory()
- Specified by:
getFactoryin interfaceFacetFactoryOWL- Returns:
- a factory that can build object for this ontlogy.
-
getManager
public org.semanticweb.owlapi.model.OWLOntologyManager getManager()
- Specified by:
getManagerin interfaceFacetManagerOWL- Returns:
- the manager that manage the current ontology.
-
getGroup
public OWLGroup getGroup()
- Specified by:
getGroupin interfaceFacetManagerOWL- Returns:
- the group of manager that own the getManager() returned manager.
-
Ontology
public static org.semanticweb.owlapi.model.OWLOntology Ontology(org.semanticweb.owlapi.model.OWLOntologyManager manager, java.util.Collection<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)
-
Ontology
public static org.semanticweb.owlapi.model.OWLOntology Ontology(org.semanticweb.owlapi.model.OWLOntologyManager manager, java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)
-
Ontology
public static org.semanticweb.owlapi.model.OWLOntology Ontology(org.semanticweb.owlapi.model.OWLOntologyManager manager, java.util.Collection<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms, org.semanticweb.owlapi.model.IRI iri)
-
Ontology
public static org.semanticweb.owlapi.model.OWLOntology Ontology(org.semanticweb.owlapi.model.OWLOntologyManager manager, java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms, org.semanticweb.owlapi.model.IRI iri)
-
Ontology
public static org.semanticweb.owlapi.model.OWLOntology Ontology(org.semanticweb.owlapi.model.OWLOntologyManager manager, org.semanticweb.owlapi.model.OWLAxiom... axioms)
-
Ontology
public static org.semanticweb.owlapi.model.OWLOntology Ontology(java.util.Collection<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)
-
Ontology
public static org.semanticweb.owlapi.model.OWLOntology Ontology(java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)
-
Ontology
public static org.semanticweb.owlapi.model.OWLOntology Ontology(java.util.Collection<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms, org.semanticweb.owlapi.model.IRI iri)
-
Ontology
public static org.semanticweb.owlapi.model.OWLOntology Ontology(java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms, org.semanticweb.owlapi.model.IRI iri)
-
Ontology
public static org.semanticweb.owlapi.model.OWLOntology Ontology(org.semanticweb.owlapi.model.OWLAxiom... axioms)
-
all
public static org.semanticweb.owlapi.model.OWLDataAllValuesFrom all(org.semanticweb.owlapi.model.OWLDataPropertyExpression property, org.semanticweb.owlapi.model.OWLDataRange datatype)
-
all
public static org.semanticweb.owlapi.model.OWLObjectAllValuesFrom all(org.semanticweb.owlapi.model.OWLObjectPropertyExpression property, org.semanticweb.owlapi.model.OWLClassExpression description)
-
allValuesFrom
@Deprecated public static org.semanticweb.owlapi.model.OWLObjectAllValuesFrom allValuesFrom(org.semanticweb.owlapi.model.OWLObjectPropertyExpression property, org.semanticweb.owlapi.model.OWLClassExpression description)Deprecated.2.5.1 Useall(OWLObjectPropertyExpression, OWLClassExpression)instead
-
and
public static org.semanticweb.owlapi.model.OWLObjectIntersectionOf and(org.semanticweb.owlapi.model.OWLClassExpression... descriptions)
-
and
public static org.semanticweb.owlapi.model.OWLObjectIntersectionOf and(java.util.Set<? extends org.semanticweb.owlapi.model.OWLClassExpression> descriptions)
-
and
public static org.semanticweb.owlapi.model.OWLObjectIntersectionOf and(java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLClassExpression> descriptions)
-
dataAnd
public static org.semanticweb.owlapi.model.OWLDataIntersectionOf dataAnd(org.semanticweb.owlapi.model.OWLDataRange... descriptions)
-
dataAnd
public static org.semanticweb.owlapi.model.OWLDataIntersectionOf dataAnd(java.util.Set<? extends org.semanticweb.owlapi.model.OWLDataRange> descriptions)
-
annotation
public static org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom annotation(org.semanticweb.owlapi.model.OWLEntity entity, org.semanticweb.owlapi.model.OWLAnnotation annotation)
-
annotation
public static org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom annotation(org.semanticweb.owlapi.model.OWLEntity entity, org.semanticweb.owlapi.model.IRI annotationIRI, org.semanticweb.owlapi.model.OWLLiteral constant)
-
annotation
public static org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom annotation(org.semanticweb.owlapi.model.OWLEntity entity, org.semanticweb.owlapi.model.IRI annotationIRI, org.semanticweb.owlapi.model.OWLIndividual individual)
-
AnonymousIndividual
public static org.semanticweb.owlapi.model.OWLAnonymousIndividual AnonymousIndividual()
-
AnonymousIndividual
public static org.semanticweb.owlapi.model.OWLAnonymousIndividual AnonymousIndividual(java.lang.String anonId)
-
asymmetric
public static org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom asymmetric(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
-
Class
public static org.semanticweb.owlapi.model.OWLClass Class(java.lang.String iri)
-
Class
public static org.semanticweb.owlapi.model.OWLClass Class(org.semanticweb.owlapi.model.IRI iri)
-
classAssertion
public static org.semanticweb.owlapi.model.OWLClassAssertionAxiom classAssertion(org.semanticweb.owlapi.model.OWLIndividual ind, org.semanticweb.owlapi.model.OWLClassExpression desc)
-
comment
public static org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom comment(org.semanticweb.owlapi.model.OWLEntity entity, java.lang.String comment)
-
complementOf
@Deprecated public static org.semanticweb.owlapi.model.OWLObjectComplementOf complementOf(org.semanticweb.owlapi.model.OWLClassExpression description)
Deprecated.2.5.1 Usenot(OWLClassExpression)instead
-
constant
public static org.semanticweb.owlapi.model.OWLLiteral constant(boolean value)
Convenience method that obtains a constant typed as an integer.- Parameters:
value- The value of the constant- Returns:
- An
OWLLiteralwhose literal is the lexical value of the integer, and whose _data type is xsd:boolean.
-
constant
public static org.semanticweb.owlapi.model.OWLLiteral constant(double value)
Convenience method that obtains a constant typed as an integer.- Parameters:
value- The value of the constant- Returns:
- An
OWLLiteralwhose literal is the lexical value of the integer, and whose _data type is xsd:double.
-
constant
public static org.semanticweb.owlapi.model.OWLLiteral constant(float value)
Convenience method that obtains a constant typed as an integer.- Parameters:
value- The value of the constant- Returns:
- An
OWLLiteralwhose literal is the lexical value of the integer, and whose _data type is xsd:float.
-
constant
public static org.semanticweb.owlapi.model.OWLLiteral constant(int value)
Convenience method that obtains a constant typed as an integer.- Parameters:
value- The value of the constant- Returns:
- An
OWLLiteralwhose literal is the lexical value of the integer, and whose _data type is xsd:integer.
-
constant
public static org.semanticweb.owlapi.model.OWLLiteral constant(java.lang.String value)
-
constant
public static org.semanticweb.owlapi.model.OWLLiteral constant(java.lang.String value, org.semanticweb.owlapi.model.OWLDatatype datatype)
-
constant
public static org.semanticweb.owlapi.model.OWLLiteral constant(java.lang.String value, java.lang.String lang)
-
DataProperty
public static org.semanticweb.owlapi.model.OWLDataProperty DataProperty(java.lang.String iri)
-
DataProperty
public static org.semanticweb.owlapi.model.OWLDataProperty DataProperty(org.semanticweb.owlapi.model.IRI iri)
-
Datatype
public static org.semanticweb.owlapi.model.OWLDatatype Datatype(java.lang.String datatypeURI)
-
Datatype
public static org.semanticweb.owlapi.model.OWLDatatype Datatype(org.semanticweb.owlapi.model.IRI datatypeIRI)
-
declaration
public static org.semanticweb.owlapi.model.OWLDeclarationAxiom declaration(org.semanticweb.owlapi.model.OWLEntity entity)
-
differentFrom
public static org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom differentFrom(org.semanticweb.owlapi.model.OWLIndividual i1, org.semanticweb.owlapi.model.OWLIndividual i2)
-
differentFrom
public static org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom differentFrom(java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> inds)
-
disjointClasses
public static org.semanticweb.owlapi.model.OWLDisjointClassesAxiom disjointClasses(org.semanticweb.owlapi.model.OWLClassExpression d1, org.semanticweb.owlapi.model.OWLClassExpression d2)
-
disjointClasses
public static org.semanticweb.owlapi.model.OWLDisjointClassesAxiom disjointClasses(java.util.Set<? extends org.semanticweb.owlapi.model.OWLClassExpression> descriptions)
-
disjointProperties
public static org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom disjointProperties(org.semanticweb.owlapi.model.OWLDataPropertyExpression d1, org.semanticweb.owlapi.model.OWLDataPropertyExpression d2)
-
disjointProperties
public static org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom disjointProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression d1, org.semanticweb.owlapi.model.OWLObjectPropertyExpression d2)
-
domain
public static org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom domain(org.semanticweb.owlapi.model.OWLDataPropertyExpression p, org.semanticweb.owlapi.model.OWLClassExpression d)
-
domain
public static org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom domain(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, org.semanticweb.owlapi.model.OWLClassExpression d)
-
datatypeDefinition
public static org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom datatypeDefinition(org.semanticweb.owlapi.model.OWLDatatype d1, org.semanticweb.owlapi.model.OWLDataRange d2)
-
equivalentClasses
public static org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom equivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression d1, org.semanticweb.owlapi.model.OWLClassExpression d2)
-
equivalentClasses
public static org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom equivalentClasses(java.util.Set<? extends org.semanticweb.owlapi.model.OWLClassExpression> descriptions)
-
equivalentClasses
public static org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom equivalentClasses(java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLClassExpression> descriptions)
-
equivalentDataProperties
public static org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom equivalentDataProperties(org.semanticweb.owlapi.model.OWLDataPropertyExpression p1, org.semanticweb.owlapi.model.OWLDataPropertyExpression p2)
-
equivalentDataProperties
public static org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom equivalentDataProperties(java.util.Set<? extends org.semanticweb.owlapi.model.OWLDataPropertyExpression> properties)
-
equivalentProperties
public static org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom equivalentProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p1, org.semanticweb.owlapi.model.OWLObjectPropertyExpression p2)
-
equivalentProperties
public static org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom equivalentProperties(java.util.Set<? extends org.semanticweb.owlapi.model.OWLObjectPropertyExpression> properties)
-
exactly
public static org.semanticweb.owlapi.model.OWLClassExpression exactly(org.semanticweb.owlapi.model.OWLDataProperty p, int card)
-
exactly
public static org.semanticweb.owlapi.model.OWLClassExpression exactly(org.semanticweb.owlapi.model.OWLDataProperty p, int card, org.semanticweb.owlapi.model.OWLDataRange d)
-
exactly
public static org.semanticweb.owlapi.model.OWLClassExpression exactly(org.semanticweb.owlapi.model.OWLObjectProperty p, int card)
-
exactly
public static org.semanticweb.owlapi.model.OWLClassExpression exactly(org.semanticweb.owlapi.model.OWLObjectProperty p, int card, org.semanticweb.owlapi.model.OWLClassExpression desc)
-
functional
public static org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom functional(org.semanticweb.owlapi.model.OWLDataPropertyExpression p)
-
functional
public static org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom functional(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
-
Individual
public static org.semanticweb.owlapi.model.OWLNamedIndividual Individual(java.lang.String iri)
-
Individual
public static org.semanticweb.owlapi.model.OWLNamedIndividual Individual(org.semanticweb.owlapi.model.IRI iri)
-
inverse
public static org.semanticweb.owlapi.model.OWLObjectInverseOf inverse(org.semanticweb.owlapi.model.OWLObjectProperty p)
-
inverseFunctional
public static org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom inverseFunctional(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
-
inverseProperties
public static org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom inverseProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p1, org.semanticweb.owlapi.model.OWLObjectPropertyExpression p2)
-
irreflexive
public static org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom irreflexive(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
-
label
public static org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom label(org.semanticweb.owlapi.model.OWLEntity entity, java.lang.String label)
-
length
public static org.semanticweb.owlapi.model.OWLFacetRestriction length(int constant)
-
length
public static org.semanticweb.owlapi.model.OWLFacetRestriction length(org.semanticweb.owlapi.model.OWLLiteral constant)
-
max
public static org.semanticweb.owlapi.model.OWLDataMaxCardinality max(org.semanticweb.owlapi.model.OWLDataPropertyExpression p, int max)
-
max
public static org.semanticweb.owlapi.model.OWLDataMaxCardinality max(org.semanticweb.owlapi.model.OWLDataPropertyExpression p, int max, org.semanticweb.owlapi.model.OWLDataRange filler)
-
max
public static org.semanticweb.owlapi.model.OWLObjectMaxCardinality max(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, int max)
-
max
public static org.semanticweb.owlapi.model.OWLObjectMaxCardinality max(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, int max, org.semanticweb.owlapi.model.OWLClassExpression filler)
-
maxExclusive
public static org.semanticweb.owlapi.model.OWLFacetRestriction maxExclusive(double constant)
-
maxExclusive
public static org.semanticweb.owlapi.model.OWLFacetRestriction maxExclusive(float constant)
-
maxExclusive
public static org.semanticweb.owlapi.model.OWLFacetRestriction maxExclusive(int constant)
-
maxExclusive
public static org.semanticweb.owlapi.model.OWLFacetRestriction maxExclusive(org.semanticweb.owlapi.model.OWLLiteral constant)
-
maxInclusive
public static org.semanticweb.owlapi.model.OWLFacetRestriction maxInclusive(double constant)
-
maxInclusive
public static org.semanticweb.owlapi.model.OWLFacetRestriction maxInclusive(float constant)
-
maxInclusive
public static org.semanticweb.owlapi.model.OWLFacetRestriction maxInclusive(int constant)
-
maxInclusive
public static org.semanticweb.owlapi.model.OWLFacetRestriction maxInclusive(org.semanticweb.owlapi.model.OWLLiteral constant)
-
maxLength
public static org.semanticweb.owlapi.model.OWLFacetRestriction maxLength(int constant)
-
maxLength
public static org.semanticweb.owlapi.model.OWLFacetRestriction maxLength(org.semanticweb.owlapi.model.OWLLiteral constant)
-
min
public static org.semanticweb.owlapi.model.OWLDataMinCardinality min(org.semanticweb.owlapi.model.OWLDataPropertyExpression p, int min)
-
min
public static org.semanticweb.owlapi.model.OWLDataMinCardinality min(org.semanticweb.owlapi.model.OWLDataPropertyExpression p, int min, org.semanticweb.owlapi.model.OWLDataRange filler)
-
min
public static org.semanticweb.owlapi.model.OWLObjectMinCardinality min(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, int min)
-
min
public static org.semanticweb.owlapi.model.OWLObjectMinCardinality min(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, int min, org.semanticweb.owlapi.model.OWLClassExpression filler)
-
minExclusive
public static org.semanticweb.owlapi.model.OWLFacetRestriction minExclusive(double constant)
-
minExclusive
public static org.semanticweb.owlapi.model.OWLFacetRestriction minExclusive(float constant)
-
minExclusive
public static org.semanticweb.owlapi.model.OWLFacetRestriction minExclusive(int constant)
-
minExclusive
public static org.semanticweb.owlapi.model.OWLFacetRestriction minExclusive(org.semanticweb.owlapi.model.OWLLiteral constant)
-
minInclusive
public static org.semanticweb.owlapi.model.OWLFacetRestriction minInclusive(double constant)
-
minInclusive
public static org.semanticweb.owlapi.model.OWLFacetRestriction minInclusive(float constant)
-
minInclusive
public static org.semanticweb.owlapi.model.OWLFacetRestriction minInclusive(int constant)
-
minInclusive
public static org.semanticweb.owlapi.model.OWLFacetRestriction minInclusive(org.semanticweb.owlapi.model.OWLLiteral constant)
-
minLength
public static org.semanticweb.owlapi.model.OWLFacetRestriction minLength(int constant)
-
minLength
public static org.semanticweb.owlapi.model.OWLFacetRestriction minLength(org.semanticweb.owlapi.model.OWLLiteral constant)
-
not
public static org.semanticweb.owlapi.model.OWLObjectComplementOf not(org.semanticweb.owlapi.model.OWLClassExpression description)
-
dataNot
public static org.semanticweb.owlapi.model.OWLDataComplementOf dataNot(org.semanticweb.owlapi.model.OWLDataRange description)
-
ObjectProperty
public static org.semanticweb.owlapi.model.OWLObjectProperty ObjectProperty(java.lang.String iri)
-
ObjectProperty
public static org.semanticweb.owlapi.model.OWLObjectProperty ObjectProperty(org.semanticweb.owlapi.model.IRI iri)
-
oneOf
public static org.semanticweb.owlapi.model.OWLDataOneOf oneOf(org.semanticweb.owlapi.model.OWLLiteral... constants)
-
oneOf
public static org.semanticweb.owlapi.model.OWLObjectOneOf oneOf(org.semanticweb.owlapi.model.OWLIndividual... individuals)
-
dataOneOf
public static org.semanticweb.owlapi.model.OWLDataOneOf dataOneOf(java.util.Set<? extends org.semanticweb.owlapi.model.OWLLiteral> constants)
-
objectOneOf
public static org.semanticweb.owlapi.model.OWLObjectOneOf objectOneOf(java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> individuals)
-
objectOneOf
public static org.semanticweb.owlapi.model.OWLObjectOneOf objectOneOf(java.util.stream.Stream<org.semanticweb.owlapi.model.OWLIndividual> individuals)
-
only
public static org.semanticweb.owlapi.model.OWLDataAllValuesFrom only(org.semanticweb.owlapi.model.OWLDataPropertyExpression property, org.semanticweb.owlapi.model.OWLDataRange datatype)
-
only
public static org.semanticweb.owlapi.model.OWLObjectAllValuesFrom only(org.semanticweb.owlapi.model.OWLObjectPropertyExpression property, org.semanticweb.owlapi.model.OWLClassExpression description)
-
or
public static org.semanticweb.owlapi.model.OWLObjectUnionOf or(org.semanticweb.owlapi.model.OWLClassExpression... descriptions)
-
or
public static org.semanticweb.owlapi.model.OWLObjectUnionOf or(java.util.Set<? extends org.semanticweb.owlapi.model.OWLClassExpression> descriptions)
-
or
public static org.semanticweb.owlapi.model.OWLObjectUnionOf or(java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLClassExpression> descriptions)
-
dataOr
public static org.semanticweb.owlapi.model.OWLDataUnionOf dataOr(org.semanticweb.owlapi.model.OWLDataRange... descriptions)
-
dataOr
public static org.semanticweb.owlapi.model.OWLDataUnionOf dataOr(java.util.Set<? extends org.semanticweb.owlapi.model.OWLDataRange> descriptions)
-
dataOr
public static org.semanticweb.owlapi.model.OWLDataUnionOf dataOr(java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLDataRange> descriptions)
-
propertyAssertion
public static org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom propertyAssertion(org.semanticweb.owlapi.model.OWLIndividual subj, org.semanticweb.owlapi.model.OWLDataPropertyExpression pred, org.semanticweb.owlapi.model.OWLLiteral obj)
-
propertyAssertion
public static org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom propertyAssertion(org.semanticweb.owlapi.model.OWLIndividual subj, org.semanticweb.owlapi.model.OWLObjectPropertyExpression pred, org.semanticweb.owlapi.model.OWLIndividual obj)
-
range
public static org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom range(org.semanticweb.owlapi.model.OWLDataPropertyExpression p, org.semanticweb.owlapi.model.OWLDataRange d)
-
range
public static org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom range(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, org.semanticweb.owlapi.model.OWLClassExpression d)
-
reflexive
public static org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom reflexive(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
-
restrict
public static org.semanticweb.owlapi.model.OWLDataRange restrict(org.semanticweb.owlapi.model.OWLDatatype datatype, org.semanticweb.owlapi.model.OWLFacetRestriction... restrictions)
-
restrict
public static org.semanticweb.owlapi.model.OWLDataRange restrict(org.semanticweb.owlapi.model.OWLDatatype datatype, java.util.Set<org.semanticweb.owlapi.model.OWLFacetRestriction> restrictions)
-
facetRestriction
public static org.semanticweb.owlapi.model.OWLFacetRestriction facetRestriction(org.semanticweb.owlapi.vocab.OWLFacet facet, org.semanticweb.owlapi.model.OWLLiteral facetValue)
-
sameAs
public static org.semanticweb.owlapi.model.OWLSameIndividualAxiom sameAs(org.semanticweb.owlapi.model.OWLIndividual i1, org.semanticweb.owlapi.model.OWLIndividual i2)
-
sameAs
public static org.semanticweb.owlapi.model.OWLSameIndividualAxiom sameAs(java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> inds)
-
self
public static org.semanticweb.owlapi.model.OWLObjectHasSelf self(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
-
some
public static org.semanticweb.owlapi.model.OWLDataSomeValuesFrom some(org.semanticweb.owlapi.model.OWLDataPropertyExpression property, org.semanticweb.owlapi.model.OWLDataRange datatype)
-
some
public static org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom some(org.semanticweb.owlapi.model.OWLObjectPropertyExpression property, org.semanticweb.owlapi.model.OWLClassExpression description)
-
subClassOf
public static org.semanticweb.owlapi.model.OWLSubClassOfAxiom subClassOf(org.semanticweb.owlapi.model.OWLClassExpression sub, org.semanticweb.owlapi.model.OWLClassExpression sup)
-
subPropertyOf
public static org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom subPropertyOf(org.semanticweb.owlapi.model.OWLDataPropertyExpression sub, org.semanticweb.owlapi.model.OWLDataPropertyExpression sup)
-
subPropertyOf
public static org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom subPropertyOf(org.semanticweb.owlapi.model.OWLObjectPropertyExpression sub, org.semanticweb.owlapi.model.OWLObjectPropertyExpression sup)
-
subPropertyOf
public static org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom subPropertyOf(org.semanticweb.owlapi.model.OWLObjectPropertyExpression[] subChain, org.semanticweb.owlapi.model.OWLObjectPropertyExpression sup)
-
symmetric
public static org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom symmetric(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
-
transitive
public static org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom transitive(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
-
value
public static org.semanticweb.owlapi.model.OWLDataHasValue value(org.semanticweb.owlapi.model.OWLDataPropertyExpression property, org.semanticweb.owlapi.model.OWLLiteral constant)
-
value
public static org.semanticweb.owlapi.model.OWLObjectHasValue value(org.semanticweb.owlapi.model.OWLObjectPropertyExpression property, org.semanticweb.owlapi.model.OWLIndividual value)
-
and
public static org.semanticweb.owlapi.model.OWLClassExpression and(java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> objects, java.util.Set<org.semanticweb.owlapi.model.OWLDataPropertyExpression> datas, java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> classes)Return a class expression that is a logical and between a set of properties (objets/datas) and classes.- Parameters:
objects- to intersectdatas- to intersectclasses- to intersect- Returns:
- the intersection between objects properties and data properties and classes declarations.
- Since:
- 2.6.0
-
schema
public static <T> java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> schema(java.lang.Class<T> iface)
Convert a java class into an owl schema for the class.- Type Parameters:
T- is type of the class.- Parameters:
iface- is the interface that define the java class.- Returns:
- a set of axiom that define the given class and it's inheritance hierarchy
- Since:
- 2.6.0
-
-