uk.ac.manchester.cs.owl.owlapi.OWLDataFactoryImpl Maven / Gradle / Ivy
/* This file is part of the OWL API.
* The contents of this file are subject to the LGPL License, Version 3.0.
* Copyright 2014, The University of Manchester
*
* This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
* This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
* You should have received a copy of the GNU General Public License along with this program. If not, see http://www.gnu.org/licenses/.
*
* Alternatively, the contents of this file may be used under the terms of the Apache License, Version 2.0 in which case, the provisions of the Apache License Version 2.0 are applicable instead of those above.
* Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at
* http://www.apache.org/licenses/LICENSE-2.0
* Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License. */
package uk.ac.manchester.cs.owl.owlapi;
import static org.semanticweb.owlapi.util.OWLAPIPreconditions.checkIterableNotNull;
import static org.semanticweb.owlapi.util.OWLAPIPreconditions.checkNotNegative;
import static org.semanticweb.owlapi.util.OWLAPIPreconditions.checkNotNull;
import static org.semanticweb.owlapi.util.OWLAPIStreamUtils.asList;
import static org.semanticweb.owlapi.util.OWLAPIStreamUtils.sorted;
import static uk.ac.manchester.cs.owl.owlapi.InternalizedEntities.OWL_BACKWARD_COMPATIBLE_WITH;
import static uk.ac.manchester.cs.owl.owlapi.InternalizedEntities.OWL_BOTTOM_DATA_PROPERTY;
import static uk.ac.manchester.cs.owl.owlapi.InternalizedEntities.OWL_BOTTOM_OBJECT_PROPERTY;
import static uk.ac.manchester.cs.owl.owlapi.InternalizedEntities.OWL_DEPRECATED;
import static uk.ac.manchester.cs.owl.owlapi.InternalizedEntities.OWL_INCOMPATIBLE_WITH;
import static uk.ac.manchester.cs.owl.owlapi.InternalizedEntities.OWL_NOTHING;
import static uk.ac.manchester.cs.owl.owlapi.InternalizedEntities.OWL_THING;
import static uk.ac.manchester.cs.owl.owlapi.InternalizedEntities.OWL_TOP_DATA_PROPERTY;
import static uk.ac.manchester.cs.owl.owlapi.InternalizedEntities.OWL_TOP_OBJECT_PROPERTY;
import static uk.ac.manchester.cs.owl.owlapi.InternalizedEntities.OWL_VERSION_INFO;
import static uk.ac.manchester.cs.owl.owlapi.InternalizedEntities.RDFS_COMMENT;
import static uk.ac.manchester.cs.owl.owlapi.InternalizedEntities.RDFS_IS_DEFINED_BY;
import static uk.ac.manchester.cs.owl.owlapi.InternalizedEntities.RDFS_LABEL;
import static uk.ac.manchester.cs.owl.owlapi.InternalizedEntities.RDFS_SEE_ALSO;
import java.io.IOException;
import java.io.ObjectInputStream;
import java.io.Serializable;
import java.text.SimpleDateFormat;
import java.util.Collection;
import java.util.Collections;
import java.util.Date;
import java.util.HashSet;
import java.util.List;
import java.util.Objects;
import java.util.Set;
import java.util.stream.Collectors;
import java.util.stream.Stream;
import javax.annotation.Nullable;
import javax.inject.Inject;
import javax.inject.Singleton;
import org.semanticweb.owlapi.model.EntityType;
import org.semanticweb.owlapi.model.IRI;
import org.semanticweb.owlapi.model.NodeID;
import org.semanticweb.owlapi.model.OWLAnnotation;
import org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom;
import org.semanticweb.owlapi.model.OWLAnnotationProperty;
import org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom;
import org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom;
import org.semanticweb.owlapi.model.OWLAnnotationSubject;
import org.semanticweb.owlapi.model.OWLAnnotationValue;
import org.semanticweb.owlapi.model.OWLAnonymousIndividual;
import org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom;
import org.semanticweb.owlapi.model.OWLClass;
import org.semanticweb.owlapi.model.OWLClassAssertionAxiom;
import org.semanticweb.owlapi.model.OWLClassExpression;
import org.semanticweb.owlapi.model.OWLDataAllValuesFrom;
import org.semanticweb.owlapi.model.OWLDataComplementOf;
import org.semanticweb.owlapi.model.OWLDataExactCardinality;
import org.semanticweb.owlapi.model.OWLDataFactory;
import org.semanticweb.owlapi.model.OWLDataHasValue;
import org.semanticweb.owlapi.model.OWLDataIntersectionOf;
import org.semanticweb.owlapi.model.OWLDataMaxCardinality;
import org.semanticweb.owlapi.model.OWLDataMinCardinality;
import org.semanticweb.owlapi.model.OWLDataOneOf;
import org.semanticweb.owlapi.model.OWLDataProperty;
import org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom;
import org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom;
import org.semanticweb.owlapi.model.OWLDataPropertyExpression;
import org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom;
import org.semanticweb.owlapi.model.OWLDataRange;
import org.semanticweb.owlapi.model.OWLDataSomeValuesFrom;
import org.semanticweb.owlapi.model.OWLDataUnionOf;
import org.semanticweb.owlapi.model.OWLDatatype;
import org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom;
import org.semanticweb.owlapi.model.OWLDatatypeRestriction;
import org.semanticweb.owlapi.model.OWLDeclarationAxiom;
import org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom;
import org.semanticweb.owlapi.model.OWLDisjointClassesAxiom;
import org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom;
import org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom;
import org.semanticweb.owlapi.model.OWLDisjointUnionAxiom;
import org.semanticweb.owlapi.model.OWLEntity;
import org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom;
import org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom;
import org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom;
import org.semanticweb.owlapi.model.OWLFacetRestriction;
import org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom;
import org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom;
import org.semanticweb.owlapi.model.OWLHasKeyAxiom;
import org.semanticweb.owlapi.model.OWLImportsDeclaration;
import org.semanticweb.owlapi.model.OWLIndividual;
import org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom;
import org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom;
import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom;
import org.semanticweb.owlapi.model.OWLLiteral;
import org.semanticweb.owlapi.model.OWLNamedIndividual;
import org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom;
import org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom;
import org.semanticweb.owlapi.model.OWLObjectAllValuesFrom;
import org.semanticweb.owlapi.model.OWLObjectComplementOf;
import org.semanticweb.owlapi.model.OWLObjectExactCardinality;
import org.semanticweb.owlapi.model.OWLObjectHasSelf;
import org.semanticweb.owlapi.model.OWLObjectHasValue;
import org.semanticweb.owlapi.model.OWLObjectIntersectionOf;
import org.semanticweb.owlapi.model.OWLObjectInverseOf;
import org.semanticweb.owlapi.model.OWLObjectMaxCardinality;
import org.semanticweb.owlapi.model.OWLObjectMinCardinality;
import org.semanticweb.owlapi.model.OWLObjectOneOf;
import org.semanticweb.owlapi.model.OWLObjectProperty;
import org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom;
import org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom;
import org.semanticweb.owlapi.model.OWLObjectPropertyExpression;
import org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom;
import org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom;
import org.semanticweb.owlapi.model.OWLObjectUnionOf;
import org.semanticweb.owlapi.model.OWLOntologyLoaderConfiguration;
import org.semanticweb.owlapi.model.OWLPropertyExpression;
import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom;
import org.semanticweb.owlapi.model.OWLRuntimeException;
import org.semanticweb.owlapi.model.OWLSameIndividualAxiom;
import org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom;
import org.semanticweb.owlapi.model.OWLSubClassOfAxiom;
import org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom;
import org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom;
import org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom;
import org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom;
import org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom;
import org.semanticweb.owlapi.model.SWRLAtom;
import org.semanticweb.owlapi.model.SWRLBuiltInAtom;
import org.semanticweb.owlapi.model.SWRLClassAtom;
import org.semanticweb.owlapi.model.SWRLDArgument;
import org.semanticweb.owlapi.model.SWRLDataPropertyAtom;
import org.semanticweb.owlapi.model.SWRLDataRangeAtom;
import org.semanticweb.owlapi.model.SWRLDifferentIndividualsAtom;
import org.semanticweb.owlapi.model.SWRLIArgument;
import org.semanticweb.owlapi.model.SWRLIndividualArgument;
import org.semanticweb.owlapi.model.SWRLLiteralArgument;
import org.semanticweb.owlapi.model.SWRLObjectPropertyAtom;
import org.semanticweb.owlapi.model.SWRLRule;
import org.semanticweb.owlapi.model.SWRLSameIndividualAtom;
import org.semanticweb.owlapi.model.SWRLVariable;
import org.semanticweb.owlapi.model.providers.ClassProvider;
import org.semanticweb.owlapi.util.CollectionFactory;
import org.semanticweb.owlapi.util.VersionInfo;
import org.semanticweb.owlapi.vocab.OWL2Datatype;
import org.semanticweb.owlapi.vocab.OWLFacet;
import org.semanticweb.owlapi.vocab.OWLRDFVocabulary;
/**
* @author Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group
* @since 2.0.0
*/
@Singleton
public class OWLDataFactoryImpl implements OWLDataFactory, Serializable, ClassProvider {
private static final String LEXICAL_VALUE_CANNOT_BE_NULL = "lexicalValue cannot be null";
private static final String LITERAL_CANNOT_BE_NULL = "literal cannot be null";
private static final String VAR_CANNOT_BE_NULL = "var cannot be null";
private static final String BUILT_IN_IRI_CANNOT_BE_NULL = "builtInIRI cannot be null";
private static final String ARGS_CANNOT_BE_NULL = "args cannot be null";
private static final String ARG1_CANNOT_BE_NULL = "arg1 cannot be null";
private static final String ARG0_CANNOT_BE_NULL = "arg0 cannot be null";
private static final String ARG_CANNOT_BE_NULL = "arg cannot be null";
private static final String PREDICATE_CANNOT_BE_NULL = "predicate cannot be null";
private static final String HEAD_CANNOT_BE_NULL = "head cannot be null";
private static final String BODY_CANNOT_BE_NULL = "body cannot be null";
private static final String ANNOTATION_CANNOT_BE_NULL = "annotation cannot be null";
private static final String OWL_CLASS_CANNOT_BE_NULL = "owlClass cannot be null";
private static final String CHAIN_CANNOT_BE_NULL = "chain cannot be null";
private static final String INVERSE_PROPERTY_CANNOT_BE_NULL = "inverseProperty cannot be null";
private static final String FORWARD_PROPERTY_CANNOT_BE_NULL = "forwardProperty cannot be null";
private static final String SUPERCLASS_CANNOT_BE_NULL = "superclass cannot be null";
private static final String SUBCLASS_CANNOT_BE_NULL = "subclass cannot be null";
private static final String RANGE_CANNOT_BE_NULL = "range cannot be null";
private static final String SUBJECT_CANNOT_BE_NULL = "subject cannot be null";
private static final String OBJECT_CANNOT_BE_NULL = "object cannot be null";
private static final String IMPORTED_ONTOLOGY_IRI_CANNOT_BE_NULL =
"importedOntologyIRI cannot be null";
private static final String CLASS_EXPRESSIONS_CANNOT_BE_NULL =
"classExpressions cannot be null";
private static final String DISJOINT_CLASSES_REPLACED =
"DisjointClasses(%s) replaced by DisjointClasses(%s %s)";
private static final String PROPERTIES_CANNOT_BE_NULL = "properties cannot be null";
private static final String INDIVIDUALS_CANNOT_BE_NULL = "individuals cannot be null";
private static final String OWL_ENTITY_CANNOT_BE_NULL = "owlEntity cannot be null";
private static final String SUPER_PROPERTY_CANNOT_BE_NULL = "superProperty cannot be null";
private static final String SUB_PROPERTY_CANNOT_BE_NULL = "subProperty cannot be null";
private static final String OWL_DATA_RANGE_CANNOT_BE_NULL = "owlDataRange cannot be null";
private static final String DOMAIN_CANNOT_BE_NULL = "domain cannot be null";
private static final String INDIVIDUAL_CANNOT_BE_NULL = "individual cannot be null";
private static final String CLASS_EXPRESSION_CANNOT_BE_NULL = "classExpression cannot be null";
private static final String VALUE_CANNOT_BE_NULL = "value cannot be null";
private static final String CARDINALITY_CANNOT_BE_NEGATIVE = "cardinality cannot be negative";
private static final String FACET_VALUE_CANNOT_BE_NULL = "facetValue cannot be null";
private static final String PROPERTY_CANNOT_BE_NULL = "property cannot be null";
private static final String TYPED_CONSTANT_CANNOT_BE_NULL = "typedConstant cannot be null";
private static final String FACET_CANNOT_BE_NULL = "facet cannot be null";
private static final String DATATYPE_CANNOT_BE_NULL = "datatype cannot be null";
private static final String DATA_RANGE_CANNOT_BE_NULL = "dataRange cannot be null";
private static final String ID_CANNOT_BE_NULL = "id cannot be null";
private static final String IRI_CANNOT_BE_NULL = "iri cannot be null";
private static final String ENTITY_TYPE_CANNOT_BE_NULL = "entityType cannot be null";
private static final String ANNOTATIONS_CANNOT_BE_NULL = "annotations cannot be null";
private final boolean useCompression = false;
private transient OWLDataFactoryInternals dataFactoryInternals =
new OWLDataFactoryInternalsImpl(useCompression);
private OWLOntologyLoaderConfiguration config;
/**
* Constructor for injection
*/
@Inject
public OWLDataFactoryImpl() {
this(new OWLOntologyLoaderConfiguration());
}
/**
* @param config configuration object
*/
public OWLDataFactoryImpl(OWLOntologyLoaderConfiguration config) {
this.config = config;
}
private static void checkAnnotations(Collection o) {
checkIterableNotNull(o, ANNOTATIONS_CANNOT_BE_NULL, true);
}
private void readObject(ObjectInputStream stream) throws IOException, ClassNotFoundException {
stream.defaultReadObject();
dataFactoryInternals = new OWLDataFactoryInternalsImpl(useCompression);
}
@Override
public void purge() {
dataFactoryInternals.purge();
}
@Override
public E getOWLEntity(EntityType entityType, IRI iri) {
checkNotNull(entityType, ENTITY_TYPE_CANNOT_BE_NULL);
checkNotNull(iri, IRI_CANNOT_BE_NULL);
return entityType.buildEntity(iri, this);
}
@Override
public OWLClass getOWLClass(IRI iri) {
checkNotNull(iri, IRI_CANNOT_BE_NULL);
return dataFactoryInternals.getOWLClass(iri);
}
@Override
public OWLAnnotationProperty getRDFSLabel() {
return RDFS_LABEL;
}
@Override
public OWLAnnotationProperty getRDFSComment() {
return RDFS_COMMENT;
}
@Override
public OWLAnnotationProperty getRDFSSeeAlso() {
return RDFS_SEE_ALSO;
}
@Override
public OWLAnnotationProperty getRDFSIsDefinedBy() {
return RDFS_IS_DEFINED_BY;
}
@Override
public OWLAnnotationProperty getOWLVersionInfo() {
return OWL_VERSION_INFO;
}
@Override
public OWLAnnotationProperty getOWLBackwardCompatibleWith() {
return OWL_BACKWARD_COMPATIBLE_WITH;
}
@Override
public OWLAnnotationProperty getOWLIncompatibleWith() {
return OWL_INCOMPATIBLE_WITH;
}
@Override
public OWLAnnotationProperty getOWLDeprecated() {
return OWL_DEPRECATED;
}
@Override
public OWLClass getOWLThing() {
return OWL_THING;
}
@Override
public OWLClass getOWLNothing() {
return OWL_NOTHING;
}
@Override
public OWLDataProperty getOWLBottomDataProperty() {
return OWL_BOTTOM_DATA_PROPERTY;
}
@Override
public OWLObjectProperty getOWLBottomObjectProperty() {
return OWL_BOTTOM_OBJECT_PROPERTY;
}
@Override
public OWLDataProperty getOWLTopDataProperty() {
return OWL_TOP_DATA_PROPERTY;
}
@Override
public OWLObjectProperty getOWLTopObjectProperty() {
return OWL_TOP_OBJECT_PROPERTY;
}
@Override
public OWLObjectProperty getOWLObjectProperty(IRI iri) {
checkNotNull(iri, IRI_CANNOT_BE_NULL);
return dataFactoryInternals.getOWLObjectProperty(iri);
}
@Override
public OWLDataProperty getOWLDataProperty(IRI iri) {
checkNotNull(iri, IRI_CANNOT_BE_NULL);
return dataFactoryInternals.getOWLDataProperty(iri);
}
@Override
public OWLNamedIndividual getOWLNamedIndividual(IRI iri) {
checkNotNull(iri, IRI_CANNOT_BE_NULL);
return dataFactoryInternals.getOWLNamedIndividual(iri);
}
@Override
public OWLAnonymousIndividual getOWLAnonymousIndividual(String nodeId) {
checkNotNull(nodeId, ID_CANNOT_BE_NULL);
return new OWLAnonymousIndividualImpl(NodeID.getNodeID(nodeId));
}
@Override
public OWLAnonymousIndividual getOWLAnonymousIndividual() {
return new OWLAnonymousIndividualImpl(NodeID.getNodeID(null));
}
@Override
public OWLDatatype getOWLDatatype(IRI iri) {
checkNotNull(iri, IRI_CANNOT_BE_NULL);
return dataFactoryInternals.getOWLDatatype(iri);
}
@Override
public OWLLiteral getOWLLiteral(boolean value) {
return dataFactoryInternals.getOWLLiteral(value);
}
@Override
public OWLDataOneOf getOWLDataOneOf(Stream values) {
return new OWLDataOneOfImpl(values);
}
@Override
public OWLDataComplementOf getOWLDataComplementOf(OWLDataRange dataRange) {
checkNotNull(dataRange, DATA_RANGE_CANNOT_BE_NULL);
return new OWLDataComplementOfImpl(dataRange);
}
@Override
public OWLDataComplementOf getOWLDataComplementOf(OWL2Datatype dataRange) {
return getOWLDataComplementOf(dataRange.getDatatype(this));
}
private List sortedList(Class witness, Stream stream) {
if (config.shouldAllowDuplicatesInConstructSets()) {
return stream.filter(Objects::nonNull).sorted().collect(Collectors.toList());
}
return sorted(witness, stream);
}
@Override
public OWLDataIntersectionOf getOWLDataIntersectionOf(
Stream dataRanges) {
return new OWLDataIntersectionOfImpl(sortedList(OWLDataRange.class, dataRanges));
}
@Override
public OWLDataUnionOf getOWLDataUnionOf(Stream dataRanges) {
return new OWLDataUnionOfImpl(sortedList(OWLDataRange.class, dataRanges));
}
@Override
public OWLDatatypeRestriction getOWLDatatypeRestriction(OWLDatatype dataType,
Collection facetRestrictions) {
checkNotNull(dataType, DATATYPE_CANNOT_BE_NULL);
checkIterableNotNull(facetRestrictions, "facets", true);
return new OWLDatatypeRestrictionImpl(dataType, facetRestrictions);
}
@Override
public OWLDatatypeRestriction getOWLDatatypeRestriction(OWLDatatype dataType, OWLFacet facet,
OWLLiteral typedLiteral) {
checkNotNull(dataType, DATATYPE_CANNOT_BE_NULL);
checkNotNull(facet, FACET_CANNOT_BE_NULL);
checkNotNull(typedLiteral, TYPED_CONSTANT_CANNOT_BE_NULL);
return new OWLDatatypeRestrictionImpl(dataType,
CollectionFactory.createSet(getOWLFacetRestriction(facet, typedLiteral)));
}
@Override
public OWLFacetRestriction getOWLFacetRestriction(OWLFacet facet, OWLLiteral facetValue) {
checkNotNull(facet, FACET_CANNOT_BE_NULL);
checkNotNull(facetValue, FACET_VALUE_CANNOT_BE_NULL);
return new OWLFacetRestrictionImpl(facet, facetValue);
}
@Override
public OWLObjectIntersectionOf getOWLObjectIntersectionOf(
Stream operands) {
return new OWLObjectIntersectionOfImpl(sortedList(OWLClassExpression.class, operands));
}
@Override
public OWLObjectIntersectionOf getOWLObjectIntersectionOf(
Collection operands) {
return new OWLObjectIntersectionOfImpl(
sortedList(OWLClassExpression.class, operands.stream()));
}
@Override
public OWLDataAllValuesFrom getOWLDataAllValuesFrom(OWLDataPropertyExpression property,
OWLDataRange dataRange) {
checkNotNull(dataRange, DATA_RANGE_CANNOT_BE_NULL);
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
return new OWLDataAllValuesFromImpl(property, dataRange);
}
@Override
public OWLDataAllValuesFrom getOWLDataAllValuesFrom(OWLDataPropertyExpression property,
OWL2Datatype dataRange) {
return getOWLDataAllValuesFrom(property, dataRange.getDatatype(this));
}
@Override
public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality,
OWLDataPropertyExpression property) {
checkNotNegative(cardinality, CARDINALITY_CANNOT_BE_NEGATIVE);
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
return new OWLDataExactCardinalityImpl(property, cardinality, getTopDatatype());
}
@Override
public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality,
OWLDataPropertyExpression property, OWLDataRange dataRange) {
checkNotNull(dataRange, DATA_RANGE_CANNOT_BE_NULL);
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkNotNegative(cardinality, CARDINALITY_CANNOT_BE_NEGATIVE);
return new OWLDataExactCardinalityImpl(property, cardinality, dataRange);
}
@Override
public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality,
OWLDataPropertyExpression property, OWL2Datatype dataRange) {
return getOWLDataExactCardinality(cardinality, property, dataRange.getDatatype(this));
}
@Override
public OWLDataMaxCardinality getOWLDataMaxCardinality(int cardinality,
OWLDataPropertyExpression property) {
checkNotNegative(cardinality, CARDINALITY_CANNOT_BE_NEGATIVE);
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
return new OWLDataMaxCardinalityImpl(property, cardinality, getTopDatatype());
}
@Override
public OWLDataMaxCardinality getOWLDataMaxCardinality(int cardinality,
OWLDataPropertyExpression property, OWLDataRange dataRange) {
checkNotNegative(cardinality, CARDINALITY_CANNOT_BE_NEGATIVE);
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkNotNull(dataRange, DATA_RANGE_CANNOT_BE_NULL);
return new OWLDataMaxCardinalityImpl(property, cardinality, dataRange);
}
@Override
public OWLDataMaxCardinality getOWLDataMaxCardinality(int cardinality,
OWLDataPropertyExpression property, OWL2Datatype dataRange) {
return getOWLDataMaxCardinality(cardinality, property, dataRange.getDatatype(this));
}
@Override
public OWLDataMinCardinality getOWLDataMinCardinality(int cardinality,
OWLDataPropertyExpression property) {
checkNotNegative(cardinality, CARDINALITY_CANNOT_BE_NEGATIVE);
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
return new OWLDataMinCardinalityImpl(property, cardinality, getTopDatatype());
}
@Override
public OWLDataMinCardinality getOWLDataMinCardinality(int cardinality,
OWLDataPropertyExpression property, OWLDataRange dataRange) {
checkNotNull(dataRange, DATA_RANGE_CANNOT_BE_NULL);
checkNotNegative(cardinality, CARDINALITY_CANNOT_BE_NEGATIVE);
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
return new OWLDataMinCardinalityImpl(property, cardinality, dataRange);
}
@Override
public OWLDataMinCardinality getOWLDataMinCardinality(int cardinality,
OWLDataPropertyExpression property, OWL2Datatype dataRange) {
return getOWLDataMinCardinality(cardinality, property, dataRange.getDatatype(this));
}
@Override
public OWLDataSomeValuesFrom getOWLDataSomeValuesFrom(OWLDataPropertyExpression property,
OWLDataRange dataRange) {
checkNotNull(dataRange, DATA_RANGE_CANNOT_BE_NULL);
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
return new OWLDataSomeValuesFromImpl(property, dataRange);
}
@Override
public OWLDataSomeValuesFrom getOWLDataSomeValuesFrom(OWLDataPropertyExpression property,
OWL2Datatype dataRange) {
return getOWLDataSomeValuesFrom(property, dataRange.getDatatype(this));
}
@Override
public OWLDataHasValue getOWLDataHasValue(OWLDataPropertyExpression property,
OWLLiteral value) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkNotNull(value, VALUE_CANNOT_BE_NULL);
return new OWLDataHasValueImpl(property, value);
}
@Override
public OWLObjectComplementOf getOWLObjectComplementOf(OWLClassExpression operand) {
checkNotNull(operand, "operand");
return new OWLObjectComplementOfImpl(operand);
}
@Override
public OWLObjectAllValuesFrom getOWLObjectAllValuesFrom(OWLObjectPropertyExpression property,
OWLClassExpression classExpression) {
checkNotNull(classExpression, CLASS_EXPRESSION_CANNOT_BE_NULL);
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
return new OWLObjectAllValuesFromImpl(property, classExpression);
}
@Override
public OWLObjectOneOf getOWLObjectOneOf(Stream values) {
return new OWLObjectOneOfImpl(values.map(x -> x));
}
@Override
public OWLObjectExactCardinality getOWLObjectExactCardinality(int cardinality,
OWLObjectPropertyExpression property) {
checkNotNegative(cardinality, CARDINALITY_CANNOT_BE_NEGATIVE);
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
return new OWLObjectExactCardinalityImpl(property, cardinality, OWL_THING);
}
@Override
public OWLObjectExactCardinality getOWLObjectExactCardinality(int cardinality,
OWLObjectPropertyExpression property, OWLClassExpression classExpression) {
checkNotNull(classExpression, CLASS_EXPRESSION_CANNOT_BE_NULL);
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkNotNegative(cardinality, CARDINALITY_CANNOT_BE_NEGATIVE);
return new OWLObjectExactCardinalityImpl(property, cardinality, classExpression);
}
@Override
public OWLObjectMinCardinality getOWLObjectMinCardinality(int cardinality,
OWLObjectPropertyExpression property) {
checkNotNegative(cardinality, CARDINALITY_CANNOT_BE_NEGATIVE);
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
return new OWLObjectMinCardinalityImpl(property, cardinality, OWL_THING);
}
@Override
public OWLObjectMinCardinality getOWLObjectMinCardinality(int cardinality,
OWLObjectPropertyExpression property, OWLClassExpression classExpression) {
checkNotNull(classExpression, CLASS_EXPRESSION_CANNOT_BE_NULL);
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkNotNegative(cardinality, CARDINALITY_CANNOT_BE_NEGATIVE);
return new OWLObjectMinCardinalityImpl(property, cardinality, classExpression);
}
@Override
public OWLObjectMaxCardinality getOWLObjectMaxCardinality(int cardinality,
OWLObjectPropertyExpression property) {
checkNotNegative(cardinality, CARDINALITY_CANNOT_BE_NEGATIVE);
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
return new OWLObjectMaxCardinalityImpl(property, cardinality, OWL_THING);
}
@Override
public OWLObjectMaxCardinality getOWLObjectMaxCardinality(int cardinality,
OWLObjectPropertyExpression property, OWLClassExpression classExpression) {
checkNotNegative(cardinality, CARDINALITY_CANNOT_BE_NEGATIVE);
checkNotNull(classExpression, CLASS_EXPRESSION_CANNOT_BE_NULL);
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
return new OWLObjectMaxCardinalityImpl(property, cardinality, classExpression);
}
@Override
public OWLObjectHasSelf getOWLObjectHasSelf(OWLObjectPropertyExpression property) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
return new OWLObjectHasSelfImpl(property);
}
@Override
public OWLObjectSomeValuesFrom getOWLObjectSomeValuesFrom(OWLObjectPropertyExpression property,
OWLClassExpression classExpression) {
checkNotNull(classExpression, CLASS_EXPRESSION_CANNOT_BE_NULL);
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
return new OWLObjectSomeValuesFromImpl(property, classExpression);
}
@Override
public OWLObjectHasValue getOWLObjectHasValue(OWLObjectPropertyExpression property,
OWLIndividual individual) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkNotNull(individual, INDIVIDUAL_CANNOT_BE_NULL);
return new OWLObjectHasValueImpl(property, individual);
}
@Override
public OWLObjectUnionOf getOWLObjectUnionOf(Stream operands) {
return new OWLObjectUnionOfImpl(sortedList(OWLClassExpression.class, operands));
}
@Override
public OWLObjectUnionOf getOWLObjectUnionOf(Collection operands) {
return new OWLObjectUnionOfImpl(sortedList(OWLClassExpression.class, operands.stream()));
}
@Override
public OWLAsymmetricObjectPropertyAxiom getOWLAsymmetricObjectPropertyAxiom(
OWLObjectPropertyExpression propertyExpression, Collection annotations) {
checkNotNull(propertyExpression, PROPERTY_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLAsymmetricObjectPropertyAxiomImpl(propertyExpression, annotations);
}
@Override
public OWLDataPropertyDomainAxiom getOWLDataPropertyDomainAxiom(
OWLDataPropertyExpression property, OWLClassExpression domain,
Collection annotations) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkNotNull(domain, DOMAIN_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLDataPropertyDomainAxiomImpl(property, domain, annotations);
}
@Override
public OWLDataPropertyRangeAxiom getOWLDataPropertyRangeAxiom(
OWLDataPropertyExpression property, OWLDataRange owlDataRange,
Collection annotations) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkNotNull(owlDataRange, OWL_DATA_RANGE_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLDataPropertyRangeAxiomImpl(property, owlDataRange, annotations);
}
@Override
public OWLDataPropertyRangeAxiom getOWLDataPropertyRangeAxiom(
OWLDataPropertyExpression property, OWL2Datatype owlDataRange,
Collection annotations) {
return getOWLDataPropertyRangeAxiom(property, owlDataRange.getDatatype(this), annotations);
}
@Override
public OWLSubDataPropertyOfAxiom getOWLSubDataPropertyOfAxiom(
OWLDataPropertyExpression subProperty, OWLDataPropertyExpression superProperty,
Collection annotations) {
checkNotNull(subProperty, SUB_PROPERTY_CANNOT_BE_NULL);
checkNotNull(superProperty, SUPER_PROPERTY_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLSubDataPropertyOfAxiomImpl(subProperty, superProperty, annotations);
}
@Override
public OWLDeclarationAxiom getOWLDeclarationAxiom(OWLEntity owlEntity,
Collection annotations) {
checkNotNull(owlEntity, OWL_ENTITY_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLDeclarationAxiomImpl(owlEntity, annotations);
}
@Override
public OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(
Collection individuals, Collection annotations) {
checkIterableNotNull(individuals, INDIVIDUALS_CANNOT_BE_NULL, true);
checkAnnotations(annotations);
return new OWLDifferentIndividualsAxiomImpl(
sortedList(OWLIndividual.class, individuals.stream()), annotations);
}
@Override
public OWLDisjointClassesAxiom getOWLDisjointClassesAxiom(
Collection classExpressions,
Collection annotations) {
checkIterableNotNull(classExpressions, "classExpressions cannot be null or contain null",
true);
checkIterableNotNull(annotations, ANNOTATIONS_CANNOT_BE_NULL, true);
// Hack to handle the case where classExpressions has only a single
// member which will usually be the result of :x owl:disjointWith :x .
List sortedList =
sortedList(OWLClassExpression.class, classExpressions.stream());
if (sortedList.size() == 1 && !config.shouldAllowDuplicatesInConstructSets()) {
OWLClassExpression classExpression = classExpressions.iterator().next();
if (classExpression.isOWLThing()) {
throw new OWLRuntimeException(
"DisjointClasses(owl:Thing) cannot be created. It is not a syntactically valid OWL 2 axiom. If the intent is to declare owl:Thing as disjoint with itself and therefore empty, it cannot be created as a DisjointClasses axiom. Please rewrite it as SubClassOf(owl:Thing, owl:Nothing). To disable this check, see ConfigurationOptions.ALLOW_DUPLICATES_IN_CONSTRUCT_SETS");
}
if (classExpression.isOWLNothing()) {
throw new OWLRuntimeException(
"DisjointClasses(owl:Nothing) cannot be created. It is not a syntactically valid OWL 2 axiom. If the intent is to declare owl:Nothing as disjoint with itself and therefore empty, it cannot be created as a DisjointClasses axiom, and it is also redundant as owl:Nothing is always empty. Please rewrite it as SubClassOf(owl:Nothing, owl:Nothing) or remove the axiom. To disable this check, see ConfigurationOptions.ALLOW_DUPLICATES_IN_CONSTRUCT_SET");
}
Set modifiedClassExpressions = new HashSet<>(2);
modifiedClassExpressions.add(OWL_THING);
modifiedClassExpressions.add(classExpression);
return getOWLDisjointClassesAxiom(modifiedClassExpressions,
makeSingletonDisjoinClassWarningAnnotation(annotations, classExpression,
OWL_THING));
}
return new OWLDisjointClassesAxiomImpl(sortedList, annotations);
}
protected Set makeSingletonDisjoinClassWarningAnnotation(
Collection annotations, OWLClassExpression classExpression,
OWLClassExpression addedClass) {
Set modifiedAnnotations = new HashSet<>(annotations.size() + 1);
modifiedAnnotations.addAll(annotations);
String provenanceComment =
String.format("%s on %s", VersionInfo.getVersionInfo().getGeneratedByMessage(),
new SimpleDateFormat().format(new Date()));
OWLAnnotation provenanceAnnotation =
getOWLAnnotation(RDFS_COMMENT, getOWLLiteral(provenanceComment));
Set metaAnnotations = Collections.singleton(provenanceAnnotation);
String changeComment =
String.format(DISJOINT_CLASSES_REPLACED, classExpression, classExpression, addedClass);
modifiedAnnotations
.add(getOWLAnnotation(RDFS_COMMENT, getOWLLiteral(changeComment), metaAnnotations));
return modifiedAnnotations;
}
@Override
public OWLDisjointDataPropertiesAxiom getOWLDisjointDataPropertiesAxiom(
Collection properties,
Collection annotations) {
checkIterableNotNull(properties, PROPERTIES_CANNOT_BE_NULL, true);
checkAnnotations(annotations);
return new OWLDisjointDataPropertiesAxiomImpl(
sortedList(OWLDataPropertyExpression.class, properties.stream()), annotations);
}
@Override
public OWLDisjointObjectPropertiesAxiom getOWLDisjointObjectPropertiesAxiom(
Collection properties,
Collection annotations) {
checkIterableNotNull(properties, PROPERTIES_CANNOT_BE_NULL, true);
checkAnnotations(annotations);
return new OWLDisjointObjectPropertiesAxiomImpl(
sortedList(OWLObjectPropertyExpression.class, properties.stream()), annotations);
}
@Override
public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom(
Collection classExpressions,
Collection annotations) {
checkIterableNotNull(classExpressions, CLASS_EXPRESSIONS_CANNOT_BE_NULL, true);
checkAnnotations(annotations);
return new OWLEquivalentClassesAxiomImpl(
sortedList(OWLClassExpression.class, classExpressions.stream()), annotations);
}
@Override
public OWLEquivalentDataPropertiesAxiom getOWLEquivalentDataPropertiesAxiom(
Collection properties,
Collection annotations) {
checkIterableNotNull(properties, PROPERTIES_CANNOT_BE_NULL, true);
checkAnnotations(annotations);
return new OWLEquivalentDataPropertiesAxiomImpl(
sortedList(OWLDataPropertyExpression.class, properties.stream()), annotations);
}
@Override
public OWLFunctionalDataPropertyAxiom getOWLFunctionalDataPropertyAxiom(
OWLDataPropertyExpression property, Collection annotations) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLFunctionalDataPropertyAxiomImpl(property, annotations);
}
@Override
public OWLFunctionalObjectPropertyAxiom getOWLFunctionalObjectPropertyAxiom(
OWLObjectPropertyExpression property, Collection annotations) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLFunctionalObjectPropertyAxiomImpl(property, annotations);
}
@Override
public OWLImportsDeclaration getOWLImportsDeclaration(IRI importedOntologyIRI) {
checkNotNull(importedOntologyIRI, IMPORTED_ONTOLOGY_IRI_CANNOT_BE_NULL);
return new OWLImportsDeclarationImpl(importedOntologyIRI);
}
@Override
public OWLDataPropertyAssertionAxiom getOWLDataPropertyAssertionAxiom(
OWLDataPropertyExpression property, OWLIndividual subject, OWLLiteral object,
Collection annotations) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkNotNull(object, OBJECT_CANNOT_BE_NULL);
checkNotNull(subject, SUBJECT_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLDataPropertyAssertionAxiomImpl(subject, property, object, annotations);
}
@Override
public OWLNegativeDataPropertyAssertionAxiom getOWLNegativeDataPropertyAssertionAxiom(
OWLDataPropertyExpression property, OWLIndividual subject, OWLLiteral object,
Collection annotations) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkNotNull(object, OBJECT_CANNOT_BE_NULL);
checkNotNull(subject, SUBJECT_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLNegativeDataPropertyAssertionAxiomImpl(subject, property, object,
annotations);
}
@Override
public OWLNegativeObjectPropertyAssertionAxiom getOWLNegativeObjectPropertyAssertionAxiom(
OWLObjectPropertyExpression property, OWLIndividual subject, OWLIndividual object,
Collection annotations) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkNotNull(object, OBJECT_CANNOT_BE_NULL);
checkNotNull(subject, SUBJECT_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLNegativeObjectPropertyAssertionAxiomImpl(subject, property, object,
annotations);
}
@Override
public OWLClassAssertionAxiom getOWLClassAssertionAxiom(OWLClassExpression classExpression,
OWLIndividual individual, Collection annotations) {
checkNotNull(classExpression, CLASS_EXPRESSION_CANNOT_BE_NULL);
checkNotNull(individual, INDIVIDUAL_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLClassAssertionAxiomImpl(individual, classExpression, annotations);
}
@Override
public OWLInverseFunctionalObjectPropertyAxiom getOWLInverseFunctionalObjectPropertyAxiom(
OWLObjectPropertyExpression property, Collection annotations) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLInverseFunctionalObjectPropertyAxiomImpl(property, annotations);
}
@Override
public OWLIrreflexiveObjectPropertyAxiom getOWLIrreflexiveObjectPropertyAxiom(
OWLObjectPropertyExpression property, Collection annotations) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLIrreflexiveObjectPropertyAxiomImpl(property, annotations);
}
@Override
public OWLObjectPropertyDomainAxiom getOWLObjectPropertyDomainAxiom(
OWLObjectPropertyExpression property, OWLClassExpression classExpression,
Collection annotations) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkNotNull(classExpression, CLASS_EXPRESSION_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLObjectPropertyDomainAxiomImpl(property, classExpression, annotations);
}
@Override
public OWLObjectPropertyRangeAxiom getOWLObjectPropertyRangeAxiom(
OWLObjectPropertyExpression property, OWLClassExpression range,
Collection annotations) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkNotNull(range, RANGE_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLObjectPropertyRangeAxiomImpl(property, range, annotations);
}
@Override
public OWLSubObjectPropertyOfAxiom getOWLSubObjectPropertyOfAxiom(
OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty,
Collection annotations) {
checkNotNull(subProperty, SUB_PROPERTY_CANNOT_BE_NULL);
checkNotNull(superProperty, SUPER_PROPERTY_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLSubObjectPropertyOfAxiomImpl(subProperty, superProperty, annotations);
}
@Override
public OWLReflexiveObjectPropertyAxiom getOWLReflexiveObjectPropertyAxiom(
OWLObjectPropertyExpression property, Collection annotations) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLReflexiveObjectPropertyAxiomImpl(property, annotations);
}
@Override
public OWLSameIndividualAxiom getOWLSameIndividualAxiom(
Collection individuals, Collection annotations) {
checkIterableNotNull(individuals, INDIVIDUALS_CANNOT_BE_NULL, true);
checkAnnotations(annotations);
return new OWLSameIndividualAxiomImpl(sortedList(OWLIndividual.class, individuals.stream()),
annotations);
}
@Override
public OWLSubClassOfAxiom getOWLSubClassOfAxiom(OWLClassExpression subClass,
OWLClassExpression superClass, Collection annotations) {
checkNotNull(subClass, SUBCLASS_CANNOT_BE_NULL);
checkNotNull(superClass, SUPERCLASS_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLSubClassOfAxiomImpl(subClass, superClass, annotations);
}
@Override
public OWLSymmetricObjectPropertyAxiom getOWLSymmetricObjectPropertyAxiom(
OWLObjectPropertyExpression property, Collection annotations) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLSymmetricObjectPropertyAxiomImpl(property, annotations);
}
@Override
public OWLTransitiveObjectPropertyAxiom getOWLTransitiveObjectPropertyAxiom(
OWLObjectPropertyExpression property, Collection annotations) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLTransitiveObjectPropertyAxiomImpl(property, annotations);
}
@Override
public OWLObjectInverseOf getOWLObjectInverseOf(OWLObjectProperty property) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
return new OWLObjectInverseOfImpl(property);
}
@Override
public OWLInverseObjectPropertiesAxiom getOWLInverseObjectPropertiesAxiom(
OWLObjectPropertyExpression forwardProperty, OWLObjectPropertyExpression inverseProperty,
Collection annotations) {
checkNotNull(forwardProperty, FORWARD_PROPERTY_CANNOT_BE_NULL);
checkNotNull(inverseProperty, INVERSE_PROPERTY_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLInverseObjectPropertiesAxiomImpl(forwardProperty, inverseProperty,
annotations);
}
@Override
public OWLSubPropertyChainOfAxiom getOWLSubPropertyChainOfAxiom(
List chain,
OWLObjectPropertyExpression superProperty, Collection annotations) {
checkNotNull(superProperty, SUPER_PROPERTY_CANNOT_BE_NULL);
checkIterableNotNull(chain, CHAIN_CANNOT_BE_NULL, true);
checkAnnotations(annotations);
return new OWLSubPropertyChainAxiomImpl(chain, superProperty, annotations);
}
@Override
public OWLHasKeyAxiom getOWLHasKeyAxiom(OWLClassExpression ce,
Collection objectProperties,
Collection annotations) {
checkNotNull(ce, CLASS_EXPRESSION_CANNOT_BE_NULL);
checkIterableNotNull(objectProperties, PROPERTIES_CANNOT_BE_NULL, true);
checkAnnotations(annotations);
return new OWLHasKeyAxiomImpl(ce, objectProperties, annotations);
}
@Override
public OWLDisjointUnionAxiom getOWLDisjointUnionAxiom(OWLClass owlClass,
Stream classExpressions,
Collection annotations) {
checkNotNull(owlClass, OWL_CLASS_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLDisjointUnionAxiomImpl(owlClass,
sortedList(OWLClassExpression.class, classExpressions), annotations);
}
@Override
public OWLEquivalentObjectPropertiesAxiom getOWLEquivalentObjectPropertiesAxiom(
Collection properties,
Collection annotations) {
checkIterableNotNull(properties, PROPERTIES_CANNOT_BE_NULL, true);
checkAnnotations(annotations);
return new OWLEquivalentObjectPropertiesAxiomImpl(
sortedList(OWLObjectPropertyExpression.class, properties.stream()), annotations);
}
@Override
public OWLObjectPropertyAssertionAxiom getOWLObjectPropertyAssertionAxiom(
OWLObjectPropertyExpression property, OWLIndividual individual, OWLIndividual object,
Collection annotations) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkNotNull(individual, INDIVIDUAL_CANNOT_BE_NULL);
checkNotNull(object, OBJECT_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLObjectPropertyAssertionAxiomImpl(individual, property, object, annotations);
}
@Override
public OWLSubAnnotationPropertyOfAxiom getOWLSubAnnotationPropertyOfAxiom(
OWLAnnotationProperty sub, OWLAnnotationProperty sup,
Collection annotations) {
checkNotNull(sub, SUB_PROPERTY_CANNOT_BE_NULL);
checkNotNull(sup, SUPER_PROPERTY_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLSubAnnotationPropertyOfAxiomImpl(sub, sup, annotations);
}
// Annotations
@Override
public OWLAnnotationProperty getOWLAnnotationProperty(IRI iri) {
checkNotNull(iri, IRI_CANNOT_BE_NULL);
return dataFactoryInternals.getOWLAnnotationProperty(iri);
}
@Override
public OWLAnnotation getOWLAnnotation(OWLAnnotationProperty property,
OWLAnnotationValue value) {
return new OWLAnnotationImplNotAnnotated(property, value);
}
@Override
public OWLAnnotation getOWLAnnotation(OWLAnnotationProperty property, OWLAnnotationValue value,
Stream annotations) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkNotNull(value, VALUE_CANNOT_BE_NULL);
checkNotNull(annotations, ANNOTATIONS_CANNOT_BE_NULL);
return dataFactoryInternals.getOWLAnnotation(property, value, annotations);
}
@Override
public OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationSubject subject,
OWLAnnotation annotation) {
checkNotNull(annotation, ANNOTATION_CANNOT_BE_NULL);
return getOWLAnnotationAssertionAxiom(annotation.getProperty(), subject,
annotation.getValue(), asList(annotation.annotations()));
}
@Override
public OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(OWLAnnotationSubject subject,
OWLAnnotation annotation, Collection annotations) {
checkNotNull(annotation, ANNOTATION_CANNOT_BE_NULL);
return getOWLAnnotationAssertionAxiom(annotation.getProperty(), subject,
annotation.getValue(), annotations);
}
@Override
public OWLAnnotationAssertionAxiom getOWLAnnotationAssertionAxiom(
OWLAnnotationProperty property, OWLAnnotationSubject subject, OWLAnnotationValue value,
Collection annotations) {
checkNotNull(subject, SUBJECT_CANNOT_BE_NULL);
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkNotNull(value, VALUE_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLAnnotationAssertionAxiomImpl(subject, property, value, annotations);
}
@Override
public OWLAnnotationAssertionAxiom getDeprecatedOWLAnnotationAssertionAxiom(IRI subject) {
checkNotNull(subject, SUBJECT_CANNOT_BE_NULL);
return getOWLAnnotationAssertionAxiom(getOWLDeprecated(), subject, getOWLLiteral(true));
}
@Override
public OWLAnnotationPropertyDomainAxiom getOWLAnnotationPropertyDomainAxiom(
OWLAnnotationProperty prop, IRI domain, Collection annotations) {
checkNotNull(prop, PROPERTY_CANNOT_BE_NULL);
checkNotNull(domain, DOMAIN_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLAnnotationPropertyDomainAxiomImpl(prop, domain, annotations);
}
@Override
public OWLAnnotationPropertyRangeAxiom getOWLAnnotationPropertyRangeAxiom(
OWLAnnotationProperty prop, IRI range, Collection annotations) {
checkNotNull(prop, PROPERTY_CANNOT_BE_NULL);
checkNotNull(range, RANGE_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLAnnotationPropertyRangeAxiomImpl(prop, range, annotations);
}
// SWRL
@Override
public SWRLRule getSWRLRule(Collection body,
Collection head, Collection annotations) {
checkIterableNotNull(body, BODY_CANNOT_BE_NULL, true);
checkIterableNotNull(head, HEAD_CANNOT_BE_NULL, true);
checkAnnotations(annotations);
return new SWRLRuleImpl(body, head, annotations);
}
@Override
public SWRLRule getSWRLRule(Collection body,
Collection head) {
checkIterableNotNull(body, BODY_CANNOT_BE_NULL, true);
checkIterableNotNull(head, HEAD_CANNOT_BE_NULL, true);
return new SWRLRuleImpl(body, head);
}
@Override
public SWRLClassAtom getSWRLClassAtom(OWLClassExpression predicate, SWRLIArgument arg) {
checkNotNull(predicate, PREDICATE_CANNOT_BE_NULL);
checkNotNull(arg, ARG_CANNOT_BE_NULL);
return new SWRLClassAtomImpl(predicate, arg);
}
@Override
public SWRLDataRangeAtom getSWRLDataRangeAtom(OWLDataRange predicate, SWRLDArgument arg) {
checkNotNull(predicate, PREDICATE_CANNOT_BE_NULL);
checkNotNull(arg, ARG_CANNOT_BE_NULL);
return new SWRLDataRangeAtomImpl(predicate, arg);
}
@Override
public SWRLDataRangeAtom getSWRLDataRangeAtom(OWL2Datatype predicate, SWRLDArgument arg) {
return getSWRLDataRangeAtom(predicate.getDatatype(this), arg);
}
@Override
public SWRLObjectPropertyAtom getSWRLObjectPropertyAtom(OWLObjectPropertyExpression property,
SWRLIArgument arg0, SWRLIArgument arg1) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkNotNull(arg0, ARG0_CANNOT_BE_NULL);
checkNotNull(arg1, ARG1_CANNOT_BE_NULL);
return new SWRLObjectPropertyAtomImpl(property, arg0, arg1);
}
@Override
public SWRLDataPropertyAtom getSWRLDataPropertyAtom(OWLDataPropertyExpression property,
SWRLIArgument arg0, SWRLDArgument arg1) {
checkNotNull(property, PROPERTY_CANNOT_BE_NULL);
checkNotNull(arg0, ARG0_CANNOT_BE_NULL);
checkNotNull(arg1, ARG1_CANNOT_BE_NULL);
return new SWRLDataPropertyAtomImpl(property, arg0, arg1);
}
@Override
public SWRLBuiltInAtom getSWRLBuiltInAtom(IRI builtInIRI, List args) {
checkNotNull(builtInIRI, BUILT_IN_IRI_CANNOT_BE_NULL);
checkNotNull(args, ARGS_CANNOT_BE_NULL);
return new SWRLBuiltInAtomImpl(builtInIRI, args);
}
@Override
public SWRLVariable getSWRLVariable(IRI var) {
checkNotNull(var, VAR_CANNOT_BE_NULL);
return new SWRLVariableImpl(var);
}
@Override
public SWRLIndividualArgument getSWRLIndividualArgument(OWLIndividual individual) {
checkNotNull(individual, INDIVIDUAL_CANNOT_BE_NULL);
return new SWRLIndividualArgumentImpl(individual);
}
@Override
public SWRLLiteralArgument getSWRLLiteralArgument(OWLLiteral literal) {
checkNotNull(literal, LITERAL_CANNOT_BE_NULL);
return new SWRLLiteralArgumentImpl(literal);
}
@Override
public SWRLDifferentIndividualsAtom getSWRLDifferentIndividualsAtom(SWRLIArgument arg0,
SWRLIArgument arg1) {
checkNotNull(arg0, ARG0_CANNOT_BE_NULL);
checkNotNull(arg1, ARG1_CANNOT_BE_NULL);
return new SWRLDifferentIndividualsAtomImpl(
getOWLObjectProperty(OWLRDFVocabulary.OWL_DIFFERENT_FROM), arg0, arg1);
}
@Override
public SWRLSameIndividualAtom getSWRLSameIndividualAtom(SWRLIArgument arg0,
SWRLIArgument arg1) {
checkNotNull(arg0, ARG0_CANNOT_BE_NULL);
checkNotNull(arg1, ARG1_CANNOT_BE_NULL);
return new SWRLSameIndividualAtomImpl(getOWLObjectProperty(OWLRDFVocabulary.OWL_SAME_AS),
arg0, arg1);
}
@Override
public OWLDatatypeDefinitionAxiom getOWLDatatypeDefinitionAxiom(OWLDatatype datatype,
OWLDataRange dataRange, Collection annotations) {
checkNotNull(datatype, DATATYPE_CANNOT_BE_NULL);
checkNotNull(dataRange, DATA_RANGE_CANNOT_BE_NULL);
checkAnnotations(annotations);
return new OWLDatatypeDefinitionAxiomImpl(datatype, dataRange, annotations);
}
@Override
public OWLDatatypeDefinitionAxiom getOWLDatatypeDefinitionAxiom(OWLDatatype datatype,
OWL2Datatype dataRange, Collection annotations) {
return getOWLDatatypeDefinitionAxiom(datatype, dataRange.getDatatype(this), annotations);
}
@Override
public OWLLiteral getOWLLiteral(String lexicalValue, OWLDatatype datatype) {
checkNotNull(lexicalValue, LEXICAL_VALUE_CANNOT_BE_NULL);
checkNotNull(datatype, DATATYPE_CANNOT_BE_NULL);
return dataFactoryInternals.getOWLLiteral(lexicalValue, datatype);
}
@Override
public OWLLiteral getOWLLiteral(int value) {
return dataFactoryInternals.getOWLLiteral(value);
}
@Override
public OWLLiteral getOWLLiteral(double value) {
return dataFactoryInternals.getOWLLiteral(value);
}
@Override
public OWLLiteral getOWLLiteral(float value) {
return dataFactoryInternals.getOWLLiteral(value);
}
@Override
public OWLLiteral getOWLLiteral(String value) {
checkNotNull(value, VALUE_CANNOT_BE_NULL);
return dataFactoryInternals.getOWLLiteral(value);
}
@Override
public OWLLiteral getOWLLiteral(String literal, @Nullable String lang) {
checkNotNull(literal, LITERAL_CANNOT_BE_NULL);
return dataFactoryInternals.getOWLLiteral(literal, lang);
}
@Override
public OWLDatatype getBooleanOWLDatatype() {
return InternalizedEntities.XSDBOOLEAN;
}
@Override
public OWLDatatype getStringOWLDatatype() {
return InternalizedEntities.XSDSTRING;
}
@Override
public OWLDatatype getDoubleOWLDatatype() {
return InternalizedEntities.XSDDOUBLE;
}
@Override
public OWLDatatype getFloatOWLDatatype() {
return InternalizedEntities.XSDFLOAT;
}
@Override
public OWLDatatype getIntegerOWLDatatype() {
return InternalizedEntities.XSDINTEGER;
}
@Override
public OWLDatatype getTopDatatype() {
return InternalizedEntities.RDFSLITERAL;
}
@Override
public OWLDatatype getRDFPlainLiteral() {
return InternalizedEntities.PLAIN;
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy