org.semanticweb.owlapi.owlxml.parser.PARSER_OWLXMLVocabulary Maven / Gradle / Ivy
The newest version!
/* 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 org.semanticweb.owlapi.owlxml.parser;
import static org.semanticweb.owlapi.util.OWLAPIPreconditions.optional;
import static org.semanticweb.owlapi.util.OWLAPIPreconditions.verifyNotNull;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.ABBREVIATED_IRI_ATTRIBUTE;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.ABBREVIATED_IRI_ELEMENT;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.ANNOTATION;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.ANNOTATION_ASSERTION;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.ANNOTATION_PROPERTY;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.ANNOTATION_PROPERTY_DOMAIN;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.ANNOTATION_PROPERTY_RANGE;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.ANNOTATION_URI;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.ANONYMOUS_INDIVIDUAL;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.ASYMMETRIC_OBJECT_PROPERTY;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.BODY;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.BUILT_IN_ATOM;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.CARDINALITY_ATTRIBUTE;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.CLASS;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.CLASS_ASSERTION;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.CLASS_ATOM;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.COMMENT;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATATYPE;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATATYPE_DEFINITION;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATATYPE_FACET;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATATYPE_IRI;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATATYPE_RESTRICTION;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATA_ALL_VALUES_FROM;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATA_COMPLEMENT_OF;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATA_EXACT_CARDINALITY;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATA_HAS_VALUE;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATA_INTERSECTION_OF;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATA_MAX_CARDINALITY;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATA_MIN_CARDINALITY;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATA_ONE_OF;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATA_PROPERTY;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATA_PROPERTY_ASSERTION;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATA_PROPERTY_ATOM;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATA_PROPERTY_DOMAIN;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATA_PROPERTY_RANGE;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATA_RANGE;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATA_RANGE_ATOM;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATA_SOME_VALUES_FROM;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DATA_UNION_OF;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DECLARATION;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DESCRIPTION_GRAPH_RULE;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DIFFERENT_INDIVIDUALS;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DIFFERENT_INDIVIDUALS_ATOM;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DISJOINT_CLASSES;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DISJOINT_DATA_PROPERTIES;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DISJOINT_OBJECT_PROPERTIES;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DISJOINT_UNION;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DL_SAFE_RULE;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.DOCUMENTATION;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.ENTITY_ANNOTATION;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.EQUIVALENT_CLASSES;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.EQUIVALENT_DATA_PROPERTIES;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.EQUIVALENT_OBJECT_PROPERTIES;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.FACET_RESTRICTION;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.FUNCTIONAL_DATA_PROPERTY;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.FUNCTIONAL_OBJECT_PROPERTY;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.HAS_KEY;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.HEAD;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.IMPORT;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.INVERSE_FUNCTIONAL_OBJECT_PROPERTY;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.INVERSE_OBJECT_PROPERTIES;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.IRI_ATTRIBUTE;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.IRI_ELEMENT;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.IRREFLEXIVE_OBJECT_PROPERTY;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.LABEL;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.LITERAL;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.NAMED_INDIVIDUAL;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.NAME_ATTRIBUTE;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.NEGATIVE_DATA_PROPERTY_ASSERTION;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.NEGATIVE_OBJECT_PROPERTY_ASSERTION;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.NODE_ID;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.OBJECT_ALL_VALUES_FROM;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.OBJECT_COMPLEMENT_OF;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.OBJECT_EXACT_CARDINALITY;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.OBJECT_HAS_SELF;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.OBJECT_HAS_VALUE;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.OBJECT_INTERSECTION_OF;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.OBJECT_INVERSE_OF;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.OBJECT_MAX_CARDINALITY;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.OBJECT_MIN_CARDINALITY;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.OBJECT_ONE_OF;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.OBJECT_PROPERTY;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.OBJECT_PROPERTY_ASSERTION;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.OBJECT_PROPERTY_ATOM;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.OBJECT_PROPERTY_CHAIN;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.OBJECT_PROPERTY_DOMAIN;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.OBJECT_PROPERTY_RANGE;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.OBJECT_SOME_VALUES_FROM;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.OBJECT_UNION_OF;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.ONTOLOGY;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.PREFIX;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.REFLEXIVE_OBJECT_PROPERTY;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.SAME_INDIVIDUAL;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.SAME_INDIVIDUAL_ATOM;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.SUB_ANNOTATION_PROPERTY_OF;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.SUB_CLASS_OF;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.SUB_DATA_PROPERTY_OF;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.SUB_OBJECT_PROPERTY_OF;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.SYMMETRIC_OBJECT_PROPERTY;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.TRANSITIVE_OBJECT_PROPERTY;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.UNION_OF;
import static org.semanticweb.owlapi.vocab.OWLXMLVocabulary.VARIABLE;
import java.util.ArrayList;
import java.util.List;
import java.util.function.BiConsumer;
import java.util.function.Function;
import javax.annotation.Nullable;
import javax.inject.Provider;
import org.semanticweb.owlapi.io.XMLUtils;
import org.semanticweb.owlapi.model.AddAxiom;
import org.semanticweb.owlapi.model.AddImport;
import org.semanticweb.owlapi.model.AddOntologyAnnotation;
import org.semanticweb.owlapi.model.HasIRI;
import org.semanticweb.owlapi.model.IRI;
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.OWLAxiom;
import org.semanticweb.owlapi.model.OWLClass;
import org.semanticweb.owlapi.model.OWLClassAssertionAxiom;
import org.semanticweb.owlapi.model.OWLClassExpression;
import org.semanticweb.owlapi.model.OWLDataComplementOf;
import org.semanticweb.owlapi.model.OWLDataFactory;
import org.semanticweb.owlapi.model.OWLDataHasValue;
import org.semanticweb.owlapi.model.OWLDataIntersectionOf;
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.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.OWLEquivalentClassesAxiom;
import org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom;
import org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom;
import org.semanticweb.owlapi.model.OWLFacetRestriction;
import org.semanticweb.owlapi.model.OWLHasKeyAxiom;
import org.semanticweb.owlapi.model.OWLImportsDeclaration;
import org.semanticweb.owlapi.model.OWLIndividual;
import org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom;
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.OWLObjectComplementOf;
import org.semanticweb.owlapi.model.OWLObjectHasValue;
import org.semanticweb.owlapi.model.OWLObjectIntersectionOf;
import org.semanticweb.owlapi.model.OWLObjectInverseOf;
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.OWLObjectUnionOf;
import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapi.model.OWLOntologyID;
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.SWRLAtom;
import org.semanticweb.owlapi.model.SWRLBinaryAtom;
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.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.SWRLVariable;
import org.semanticweb.owlapi.model.SetOntologyID;
import org.semanticweb.owlapi.vocab.Namespaces;
import org.semanticweb.owlapi.vocab.OWL2Datatype;
import org.semanticweb.owlapi.vocab.OWLFacet;
import org.semanticweb.owlapi.vocab.OWLXMLVocabulary;
import org.semanticweb.owlapitools.builders.BaseBuilder;
import org.semanticweb.owlapitools.builders.Builder;
import org.semanticweb.owlapitools.builders.BuilderAnnotation;
import org.semanticweb.owlapitools.builders.BuilderAnnotationAssertion;
import org.semanticweb.owlapitools.builders.BuilderAnnotationProperty;
import org.semanticweb.owlapitools.builders.BuilderAnnotationPropertyDomain;
import org.semanticweb.owlapitools.builders.BuilderAnnotationPropertyRange;
import org.semanticweb.owlapitools.builders.BuilderAnonymousIndividual;
import org.semanticweb.owlapitools.builders.BuilderAsymmetricObjectProperty;
import org.semanticweb.owlapitools.builders.BuilderClass;
import org.semanticweb.owlapitools.builders.BuilderClassAssertion;
import org.semanticweb.owlapitools.builders.BuilderComplementOf;
import org.semanticweb.owlapitools.builders.BuilderDataAllValuesFrom;
import org.semanticweb.owlapitools.builders.BuilderDataComplementOf;
import org.semanticweb.owlapitools.builders.BuilderDataExactCardinality;
import org.semanticweb.owlapitools.builders.BuilderDataHasValue;
import org.semanticweb.owlapitools.builders.BuilderDataIntersectionOf;
import org.semanticweb.owlapitools.builders.BuilderDataMaxCardinality;
import org.semanticweb.owlapitools.builders.BuilderDataMinCardinality;
import org.semanticweb.owlapitools.builders.BuilderDataOneOf;
import org.semanticweb.owlapitools.builders.BuilderDataProperty;
import org.semanticweb.owlapitools.builders.BuilderDataPropertyAssertion;
import org.semanticweb.owlapitools.builders.BuilderDataPropertyDomain;
import org.semanticweb.owlapitools.builders.BuilderDataPropertyRange;
import org.semanticweb.owlapitools.builders.BuilderDataSomeValuesFrom;
import org.semanticweb.owlapitools.builders.BuilderDataUnionOf;
import org.semanticweb.owlapitools.builders.BuilderDatatype;
import org.semanticweb.owlapitools.builders.BuilderDatatypeDefinition;
import org.semanticweb.owlapitools.builders.BuilderDatatypeRestriction;
import org.semanticweb.owlapitools.builders.BuilderDeclaration;
import org.semanticweb.owlapitools.builders.BuilderDifferentIndividuals;
import org.semanticweb.owlapitools.builders.BuilderDisjointClasses;
import org.semanticweb.owlapitools.builders.BuilderDisjointDataProperties;
import org.semanticweb.owlapitools.builders.BuilderDisjointObjectProperties;
import org.semanticweb.owlapitools.builders.BuilderDisjointUnion;
import org.semanticweb.owlapitools.builders.BuilderEquivalentClasses;
import org.semanticweb.owlapitools.builders.BuilderEquivalentDataProperties;
import org.semanticweb.owlapitools.builders.BuilderEquivalentObjectProperties;
import org.semanticweb.owlapitools.builders.BuilderFacetRestriction;
import org.semanticweb.owlapitools.builders.BuilderFunctionalDataProperty;
import org.semanticweb.owlapitools.builders.BuilderFunctionalObjectProperty;
import org.semanticweb.owlapitools.builders.BuilderHasKey;
import org.semanticweb.owlapitools.builders.BuilderInverseFunctionalObjectProperty;
import org.semanticweb.owlapitools.builders.BuilderInverseObjectProperties;
import org.semanticweb.owlapitools.builders.BuilderIrreflexiveObjectProperty;
import org.semanticweb.owlapitools.builders.BuilderLiteral;
import org.semanticweb.owlapitools.builders.BuilderNamedIndividual;
import org.semanticweb.owlapitools.builders.BuilderNegativeDataPropertyAssertion;
import org.semanticweb.owlapitools.builders.BuilderNegativeObjectPropertyAssertion;
import org.semanticweb.owlapitools.builders.BuilderObjectAllValuesFrom;
import org.semanticweb.owlapitools.builders.BuilderObjectExactCardinality;
import org.semanticweb.owlapitools.builders.BuilderObjectHasSelf;
import org.semanticweb.owlapitools.builders.BuilderObjectHasValue;
import org.semanticweb.owlapitools.builders.BuilderObjectIntersectionOf;
import org.semanticweb.owlapitools.builders.BuilderObjectInverseOf;
import org.semanticweb.owlapitools.builders.BuilderObjectMaxCardinality;
import org.semanticweb.owlapitools.builders.BuilderObjectMinCardinality;
import org.semanticweb.owlapitools.builders.BuilderObjectProperty;
import org.semanticweb.owlapitools.builders.BuilderObjectPropertyAssertion;
import org.semanticweb.owlapitools.builders.BuilderObjectPropertyDomain;
import org.semanticweb.owlapitools.builders.BuilderObjectPropertyRange;
import org.semanticweb.owlapitools.builders.BuilderObjectSomeValuesFrom;
import org.semanticweb.owlapitools.builders.BuilderOneOf;
import org.semanticweb.owlapitools.builders.BuilderPropertyChain;
import org.semanticweb.owlapitools.builders.BuilderReflexiveObjectProperty;
import org.semanticweb.owlapitools.builders.BuilderSWRLBuiltInAtom;
import org.semanticweb.owlapitools.builders.BuilderSWRLClassAtom;
import org.semanticweb.owlapitools.builders.BuilderSWRLDataPropertyAtom;
import org.semanticweb.owlapitools.builders.BuilderSWRLDataRangeAtom;
import org.semanticweb.owlapitools.builders.BuilderSWRLDifferentIndividualsAtom;
import org.semanticweb.owlapitools.builders.BuilderSWRLIndividualsAtom;
import org.semanticweb.owlapitools.builders.BuilderSWRLObjectPropertyAtom;
import org.semanticweb.owlapitools.builders.BuilderSWRLRule;
import org.semanticweb.owlapitools.builders.BuilderSWRLSameIndividualAtom;
import org.semanticweb.owlapitools.builders.BuilderSWRLVariable;
import org.semanticweb.owlapitools.builders.BuilderSameIndividual;
import org.semanticweb.owlapitools.builders.BuilderSubAnnotationPropertyOf;
import org.semanticweb.owlapitools.builders.BuilderSubClass;
import org.semanticweb.owlapitools.builders.BuilderSubDataProperty;
import org.semanticweb.owlapitools.builders.BuilderSubObjectProperty;
import org.semanticweb.owlapitools.builders.BuilderSymmetricObjectProperty;
import org.semanticweb.owlapitools.builders.BuilderTransitiveObjectProperty;
import org.semanticweb.owlapitools.builders.BuilderUnionOf;
import org.semanticweb.owlapitools.builders.SettableCardinality;
import org.semanticweb.owlapitools.builders.SettableProperty;
import org.semanticweb.owlapitools.builders.SettableRange;
/**
* @author Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group
* @since 2.0.0
*/
enum PARSER_OWLXMLVocabulary implements HasIRI {
//@formatter:off
/** CLASS. */ PARSER_CLASS (CLASS , OWLClassEH::new),
/** DATA_PROPERTY. */ PARSER_DATA_PROPERTY (DATA_PROPERTY , DataPropertyEH::new),
/** OBJECT_PROPERTY. */ PARSER_OBJECT_PROPERTY (OBJECT_PROPERTY , OWLObjectPropertyEH::new),
/** NAMED_INDIVIDUAL. */ PARSER_NAMED_INDIVIDUAL (NAMED_INDIVIDUAL , IndividualEH::new),
/** ENTITY_ANNOTATION. */ PARSER_ENTITY_ANNOTATION (ENTITY_ANNOTATION , LegacyEntityAnnEH::new),
/** ANNOTATION_PROPERTY. */ PARSER_ANNOTATION_PROPERTY (ANNOTATION_PROPERTY , AnnotationPropEH::new),
/** DATATYPE. */ PARSER_DATATYPE (DATATYPE , DatatypeEH::new),
/** ANNOTATION. */ PARSER_ANNOTATION (ANNOTATION , AnnEH::new),
/** ANONYMOUS_INDIVIDUAL. */ PARSER_ANONYMOUS_INDIVIDUAL (ANONYMOUS_INDIVIDUAL , AnonEH::new),
/** IMPORT. */ PARSER_IMPORT (IMPORT , ImportsEH::new),
/** ONTOLOGY. */ PARSER_ONTOLOGY (ONTOLOGY , OntologyEH::new),
/** LITERAL. */ PARSER_LITERAL (LITERAL , LiteralEH::new),
/** OBJECT_INVERSE_OF. */ PARSER_OBJECT_INVERSE_OF (OBJECT_INVERSE_OF , InverseObjectEH::new),
/** DATA_COMPLEMENT_OF. */ PARSER_DATA_COMPLEMENT_OF (DATA_COMPLEMENT_OF , DataComplEH::new),
/** DATA_ONE_OF. */ PARSER_DATA_ONE_OF (DATA_ONE_OF , DataOneOfEH::new),
/** DATATYPE_RESTRICTION. */ PARSER_DATATYPE_RESTRICTION (DATATYPE_RESTRICTION , DatatypeRestrictionEH::new),
/** FACET_RESTRICTION. */ PARSER_FACET_RESTRICTION (FACET_RESTRICTION , DatatypeFacetEH::new),
/** DATA_UNION_OF. */ PARSER_DATA_UNION_OF (DATA_UNION_OF , DataUnionOfEH::new),
/** DATA_INTERSECTION_OF. */ PARSER_DATA_INTERSECTION_OF (DATA_INTERSECTION_OF , DataIntersectionOfEH::new),
/** OBJECT_INTERSECTION_OF. */ PARSER_OBJECT_INTERSECTION_OF (OBJECT_INTERSECTION_OF , IntersectionOfEH::new),
/** OBJECT_UNION_OF. */ PARSER_OBJECT_UNION_OF (OBJECT_UNION_OF , ObjectUnionOfEH::new),
/** OBJECT_COMPLEMENT_OF. */ PARSER_OBJECT_COMPLEMENT_OF (OBJECT_COMPLEMENT_OF , ComplementOfEH::new),
/** OBJECT_ONE_OF. */ PARSER_OBJECT_ONE_OF (OBJECT_ONE_OF , OneOfEH::new),
/** OBJECT_SOME_VALUES_FROM. */ PARSER_OBJECT_SOME_VALUES_FROM (OBJECT_SOME_VALUES_FROM , ()->new ObjectREH<>(BuilderObjectSomeValuesFrom::new)),
/** OBJECT_ALL_VALUES_FROM. */ PARSER_OBJECT_ALL_VALUES_FROM (OBJECT_ALL_VALUES_FROM , ()->new ObjectREH<>(BuilderObjectAllValuesFrom::new)),
/** OBJECT_HAS_SELF. */ PARSER_OBJECT_HAS_SELF (OBJECT_HAS_SELF , ()->new ClassEH<>(BuilderObjectHasSelf::new)),
/** OBJECT_HAS_VALUE. */ PARSER_OBJECT_HAS_VALUE (OBJECT_HAS_VALUE , HasValueEH::new),
/** OBJECT_MIN_CARDINALITY. */ PARSER_OBJECT_MIN_CARDINALITY (OBJECT_MIN_CARDINALITY , ()->new ObjectCardEH<>(BuilderObjectMinCardinality::new)),
/** OBJECT_EXACT_CARDINALITY. */ PARSER_OBJECT_EXACT_CARDINALITY (OBJECT_EXACT_CARDINALITY , ()->new ObjectCardEH<>(BuilderObjectExactCardinality::new)),
/** OBJECT_MAX_CARDINALITY. */ PARSER_OBJECT_MAX_CARDINALITY (OBJECT_MAX_CARDINALITY , ()->new ObjectCardEH<>(BuilderObjectMaxCardinality::new)),
/** DATA_SOME_VALUES_FROM. */ PARSER_DATA_SOME_VALUES_FROM (DATA_SOME_VALUES_FROM , ()->new DataREH<>(BuilderDataSomeValuesFrom::new)),
/** DATA_ALL_VALUES_FROM. */ PARSER_DATA_ALL_VALUES_FROM (DATA_ALL_VALUES_FROM , ()->new DataREH<>(BuilderDataAllValuesFrom::new)),
/** DATA_HAS_VALUE. */ PARSER_DATA_HAS_VALUE (DATA_HAS_VALUE , DataHasValueEH::new),
/** DATA_MIN_CARDINALITY. */ PARSER_DATA_MIN_CARDINALITY (DATA_MIN_CARDINALITY , ()->new DataCardEH<>(BuilderDataMinCardinality::new)),
/** DATA_EXACT_CARDINALITY. */ PARSER_DATA_EXACT_CARDINALITY (DATA_EXACT_CARDINALITY , ()->new DataCardEH<>(BuilderDataExactCardinality::new)),
/** DATA_MAX_CARDINALITY. */ PARSER_DATA_MAX_CARDINALITY (DATA_MAX_CARDINALITY , ()->new DataCardEH<>(BuilderDataMaxCardinality::new)),
/** SUB_CLASS_OF. */ PARSER_SUB_CLASS_OF (SUB_CLASS_OF , SubClassEH::new),
/** EQUIVALENT_CLASSES. */ PARSER_EQUIVALENT_CLASSES (EQUIVALENT_CLASSES , EquivalentClassesEH::new),
/** DISJOINT_CLASSES. */ PARSER_DISJOINT_CLASSES (DISJOINT_CLASSES , DisjointClassesEH::new),
/** DISJOINT_UNION. */ PARSER_DISJOINT_UNION (DISJOINT_UNION , DisjointUnionEH::new),
/** UNION_OF. */ PARSER_UNION_OF (UNION_OF , UnionOfEH::new),
/** SUB_OBJECT_PROPERTY_OF. */ PARSER_SUB_OBJECT_PROPERTY_OF (SUB_OBJECT_PROPERTY_OF , SubObjectPropertyOfEH::new),
/** OBJECT_PROPERTY_CHAIN. */ PARSER_OBJECT_PROPERTY_CHAIN (OBJECT_PROPERTY_CHAIN , ChainEH::new),
/** EQUIVALENT_OBJECT_PROPERTIES. */ PARSER_EQUIVALENT_OBJECT_PROPERTIES (EQUIVALENT_OBJECT_PROPERTIES , EqObjectPropertiesEH::new),
/** DISJOINT_OBJECT_PROPERTIES. */ PARSER_DISJOINT_OBJECT_PROPERTIES (DISJOINT_OBJECT_PROPERTIES , DisjointObjectPropertiesEH::new),
/** OBJECT_PROPERTY_DOMAIN. */ PARSER_OBJECT_PROPERTY_DOMAIN (OBJECT_PROPERTY_DOMAIN , ObjectPropertyDomainEH::new),
/** OBJECT_PROPERTY_RANGE. */ PARSER_OBJECT_PROPERTY_RANGE (OBJECT_PROPERTY_RANGE , ObjectPropertyRangeEH::new),
/** INVERSE_OBJECT_PROPERTIES. */ PARSER_INVERSE_OBJECT_PROPERTIES (INVERSE_OBJECT_PROPERTIES , InverseObjectAxiomEH::new),
/** FUNCTIONAL_OBJECT_PROPERTY. */ PARSER_FUNCTIONAL_OBJECT_PROPERTY (FUNCTIONAL_OBJECT_PROPERTY , ()->new AxiomEH<>(BuilderFunctionalObjectProperty::new)),
/** INVERSE_FUNCTIONAL_OBJECT_PROPERTY. */ PARSER_INVERSE_FUNCTIONAL_OBJECT_PROPERTY (INVERSE_FUNCTIONAL_OBJECT_PROPERTY , ()->new AxiomEH<>(BuilderInverseFunctionalObjectProperty::new)),
/** SYMMETRIC_OBJECT_PROPERTY. */ PARSER_SYMMETRIC_OBJECT_PROPERTY (SYMMETRIC_OBJECT_PROPERTY , ()->new AxiomEH<>(BuilderSymmetricObjectProperty::new)),
/** ASYMMETRIC_OBJECT_PROPERTY. */ PARSER_ASYMMETRIC_OBJECT_PROPERTY (ASYMMETRIC_OBJECT_PROPERTY , ()->new AxiomEH<>(BuilderAsymmetricObjectProperty::new)),
/** REFLEXIVE_OBJECT_PROPERTY. */ PARSER_REFLEXIVE_OBJECT_PROPERTY (REFLEXIVE_OBJECT_PROPERTY , ()->new AxiomEH<>(BuilderReflexiveObjectProperty::new)),
/** IRREFLEXIVE_OBJECT_PROPERTY. */ PARSER_IRREFLEXIVE_OBJECT_PROPERTY (IRREFLEXIVE_OBJECT_PROPERTY , ()->new AxiomEH<>(BuilderIrreflexiveObjectProperty::new)),
/** TRANSITIVE_OBJECT_PROPERTY. */ PARSER_TRANSITIVE_OBJECT_PROPERTY (TRANSITIVE_OBJECT_PROPERTY , ()->new AxiomEH<>(BuilderTransitiveObjectProperty::new)),
/** SUB_DATA_PROPERTY_OF. */ PARSER_SUB_DATA_PROPERTY_OF (SUB_DATA_PROPERTY_OF , SubDataPropertyOfEH::new),
/** EQUIVALENT_DATA_PROPERTIES. */ PARSER_EQUIVALENT_DATA_PROPERTIES (EQUIVALENT_DATA_PROPERTIES , EqDataPropertiesEH::new),
/** DISJOINT_DATA_PROPERTIES. */ PARSER_DISJOINT_DATA_PROPERTIES (DISJOINT_DATA_PROPERTIES , DisjointDataPropertiesEH::new),
/** DATA_PROPERTY_DOMAIN. */ PARSER_DATA_PROPERTY_DOMAIN (DATA_PROPERTY_DOMAIN , DataPropertyDomainEH::new),
/** DATA_PROPERTY_RANGE. */ PARSER_DATA_PROPERTY_RANGE (DATA_PROPERTY_RANGE , DataPropertyRangeEH::new),
/** FUNCTIONAL_DATA_PROPERTY. */ PARSER_FUNCTIONAL_DATA_PROPERTY (FUNCTIONAL_DATA_PROPERTY , ()->new AxiomEH<>(BuilderFunctionalDataProperty::new)),
/** SAME_INDIVIDUAL. */ PARSER_SAME_INDIVIDUAL (SAME_INDIVIDUAL , SameIndividualsEH::new),
/** DIFFERENT_INDIVIDUALS. */ PARSER_DIFFERENT_INDIVIDUALS (DIFFERENT_INDIVIDUALS , DifferentIndividualsEH::new),
/** CLASS_ASSERTION. */ PARSER_CLASS_ASSERTION (CLASS_ASSERTION , ClassAssertAxiomEH::new),
/** OBJECT_PROPERTY_ASSERTION. */ PARSER_OBJECT_PROPERTY_ASSERTION (OBJECT_PROPERTY_ASSERTION , ObjectPropertyAxiomEH::new),
/** DATA_PROPERTY_ASSERTION. */ PARSER_DATA_PROPERTY_ASSERTION (DATA_PROPERTY_ASSERTION , DataPropertyAxiomEH::new),
/** NEGATIVE_OBJECT_PROPERTY_ASSERTION. */ PARSER_NEGATIVE_OBJECT_PROPERTY_ASSERTION (NEGATIVE_OBJECT_PROPERTY_ASSERTION , NegObjectPropertyAxiomEH::new),
/** NEGATIVE_DATA_PROPERTY_ASSERTION. */ PARSER_NEGATIVE_DATA_PROPERTY_ASSERTION (NEGATIVE_DATA_PROPERTY_ASSERTION , NegDataPropertyAxiomEH::new),
/** HAS_KEY. */ PARSER_HAS_KEY (HAS_KEY , HasKeyEH::new),
/** DECLARATION. */ PARSER_DECLARATION (DECLARATION , DeclarationEH::new),
/** ANNOTATION_ASSERTION. */ PARSER_ANNOTATION_ASSERTION (ANNOTATION_ASSERTION , AnnotationAxiomEH::new),
/** ANNOTATION_PROPERTY_DOMAIN. */ PARSER_ANNOTATION_PROPERTY_DOMAIN (ANNOTATION_PROPERTY_DOMAIN , AnnDomainEH::new),
/** ANNOTATION_PROPERTY_RANGE. */ PARSER_ANNOTATION_PROPERTY_RANGE (ANNOTATION_PROPERTY_RANGE , AnnotationRangeEH::new),
/** SUB_ANNOTATION_PROPERTY_OF. */ PARSER_SUB_ANNOTATION_PROPERTY_OF (SUB_ANNOTATION_PROPERTY_OF , SubAnnPropertyOfEH::new),
/** DATATYPE_DEFINITION. */ PARSER_DATATYPE_DEFINITION (DATATYPE_DEFINITION , DatatypeDefinitionEH::new),
/** IRI_ELEMENT. */ PARSER_IRI_ELEMENT (IRI_ELEMENT , ()->new IRIEH(false)),
/** ABBREVIATED_IRI_ELEMENT. */ PARSER_ABBREVIATED_IRI_ELEMENT (ABBREVIATED_IRI_ELEMENT , ()->new IRIEH(true)),
/** NODE_ID. */ PARSER_NODE_ID (NODE_ID ),
/** ANNOTATION_URI. */ PARSER_ANNOTATION_URI (ANNOTATION_URI ),
/** LABEL. */ PARSER_LABEL (LABEL ),
/** COMMENT. */ PARSER_COMMENT (COMMENT ),
/** DOCUMENTATION. */ PARSER_DOCUMENTATION (DOCUMENTATION ),
/** DATATYPE_FACET. */ PARSER_DATATYPE_FACET (DATATYPE_FACET ),
/** DATATYPE_IRI. */ PARSER_DATATYPE_IRI (DATATYPE_IRI ),
/** DATA_RANGE. */ PARSER_DATA_RANGE (DATA_RANGE ),
/** PREFIX. */ PARSER_PREFIX (PREFIX ),
/** NAME_ATTRIBUTE. */ PARSER_NAME_ATTRIBUTE (NAME_ATTRIBUTE ),
/** IRI_ATTRIBUTE. */ PARSER_IRI_ATTRIBUTE (IRI_ATTRIBUTE ),
/** ABBREVIATED_IRI_ATTRIBUTE. */ PARSER_ABBREVIATED_IRI_ATTRIBUTE (ABBREVIATED_IRI_ATTRIBUTE ),
/** CARDINALITY_ATTRIBUTE. */ PARSER_CARDINALITY_ATTRIBUTE (CARDINALITY_ATTRIBUTE ),
// Rules Extensions
/** DL_SAFE_RULE. */ PARSER_DL_SAFE_RULE (DL_SAFE_RULE , SWRLRuleEH::new),
/** BODY. */ PARSER_BODY (BODY , AtomListEH::new),
/** HEAD. */ PARSER_HEAD (HEAD , AtomListEH::new),
/** CLASS_ATOM. */ PARSER_CLASS_ATOM (CLASS_ATOM , ClassAtomEH::new),
/** DATA_RANGE_ATOM. */ PARSER_DATA_RANGE_ATOM (DATA_RANGE_ATOM , DataRangeAtomEH::new),
/** OBJECT_PROPERTY_ATOM. */ PARSER_OBJECT_PROPERTY_ATOM (OBJECT_PROPERTY_ATOM , ObjectPropertyAtomEH::new),
/** DATA_PROPERTY_ATOM. */ PARSER_DATA_PROPERTY_ATOM (DATA_PROPERTY_ATOM , DataPropertyAtomEH::new),
/** BUILT_IN_ATOM. */ PARSER_BUILT_IN_ATOM (BUILT_IN_ATOM , BuiltInAtomEH::new),
/** SAME_INDIVIDUAL_ATOM. */ PARSER_SAME_INDIVIDUAL_ATOM (SAME_INDIVIDUAL_ATOM , ()->new IndividualsAtomEH<>(x -> new BuilderSWRLSameIndividualAtom(x))),
/** DIFFERENT_INDIVIDUALS_ATOM. */ PARSER_DIFFERENT_INDIVIDUALS_ATOM (DIFFERENT_INDIVIDUALS_ATOM , ()->new IndividualsAtomEH<>(x -> new BuilderSWRLDifferentIndividualsAtom(x))),
/** VARIABLE. */ PARSER_VARIABLE (VARIABLE , VariableEH::new),
/** DESCRIPTION_GRAPH_RULE. */ PARSER_DESCRIPTION_GRAPH_RULE (DESCRIPTION_GRAPH_RULE );
//@formatter:on
private final IRI iri;
private final String shortName;
private final Provider> create;
PARSER_OWLXMLVocabulary(OWLXMLVocabulary name) {
iri = IRI.create(Namespaces.OWL.toString(), name.getShortForm());
shortName = name.getShortForm();
create = () -> {
throw new OWLRuntimeException(
shortName + " vocabulary element does not have a handler");
};
}
PARSER_OWLXMLVocabulary(OWLXMLVocabulary name, Provider> create) {
iri = IRI.create(Namespaces.OWL.toString(), name.getShortForm());
shortName = name.getShortForm();
this.create = create;
}
@Override
public IRI getIRI() {
return iri;
}
/**
* @return short name
*/
public String getShortName() {
return shortName;
}
/**
* @param handler OWL/XML handler
* @return element handler
*/
OWLEH createHandler(OWLXMLPH handler) {
OWLEH owleh = create.get();
owleh.setHandler(handler);
return owleh;
}
}
interface ObjectPropertyEH {
T getOWLObject();
T getOWLObject(Class witness);
}
@SuppressWarnings({"unused"})
abstract class OWLEH> {
final StringBuilder sb = new StringBuilder();
OWLXMLPH handler;
OWLEH parentHandler;
String elementName;
OWLDataFactory df;
Function provider;
B builder;
HandleChild child;
void setHandler(OWLXMLPH handler) {
this.handler = handler;
this.df = handler.getDataFactory();
if (provider != null) {
this.builder = provider.apply(df);
}
}
@SuppressWarnings("unchecked")
public T getOWLObject() {
return (T) builder.buildObject();
}
public T getOWLObject(Class witness) {
return witness.cast(getOWLObject());
}
IRI getIRIFromAttribute(String localName, String value) {
if (localName.equals(IRI_ATTRIBUTE.getShortForm())) {
return handler.getIRI(value);
} else if (localName.equals(ABBREVIATED_IRI_ATTRIBUTE.getShortForm())) {
return handler.getAbbreviatedIRI(value);
} else if ("URI".equals(localName)) {
// Legacy
return handler.getIRI(value);
}
ensureAttributeNotNull(null, IRI_ATTRIBUTE.getShortForm());
return IRI.create("");
}
IRI getIRIFromElement(String elementLocalName, String textContent) {
if (elementLocalName.equals(IRI_ELEMENT.getShortForm())) {
return handler.getIRI(textContent.trim());
} else if (elementLocalName.equals(ABBREVIATED_IRI_ELEMENT.getShortForm())) {
return handler.getAbbreviatedIRI(textContent.trim());
}
throw new OWLXMLParserException(handler, elementLocalName + " is not an IRI element");
}
OWLEH getParentHandler() {
return verifyNotNull(parentHandler, "parentHandler cannot be null at this point");
}
void setParentHandler(OWLEH handler) {
parentHandler = handler;
}
void attribute(String localName, String value) {}
void startElement(String name) {
elementName = name;
}
String getElementName() {
return elementName;
}
void handleChild(AxiomEH h) {
OWLAxiom axiom = h.getOWLObject();
if (!axiom.isAnnotationAxiom() || handler.getConfiguration().isLoadAnnotationAxioms()) {
handler.getOWLOntologyManager().applyChange(new AddAxiom(handler.getOntology(), axiom));
}
}
void handleChild(ClassEH h) {}
void handleChild(DataRangeEH h) {}
void handleChild(ObjectPropertyEH h) {
if (builder instanceof SettableProperty) {
((SettableProperty) builder)
.withProperty(h.getOWLObject(OWLObjectPropertyExpression.class));
}
}
void handleChild(DataPropertyEH h) {
if (builder instanceof SettableProperty) {
((SettableProperty) builder)
.withProperty(h.getOWLObject(OWLDataPropertyExpression.class));
}
}
void handleChild(AnnotationPropEH h) {
if (builder instanceof SettableProperty) {
((SettableProperty) builder)
.withProperty(h.getOWLObject(OWLAnnotationProperty.class));
}
}
void handleChild(IndividualEH h) {}
void handleChild(LiteralEH h) {}
void handleChild(AnnEH h) {
((BaseBuilder) builder).withAnnotation(h.getOWLObject());
}
void handleChild(ChainEH h) {}
void handleChild(DatatypeFacetEH h) {}
void handleChild(AnonEH h) {}
void handleChild(IRIEH h) {}
void handleChild(VariableEH h) {}
void handleChild(AtomEH h) {}
void handleChild(AtomListEH h) {}
void ensureNotNull(@Nullable Object element, String message) {
if (element == null) {
throw new OWLXMLParserElementNotFoundException(handler, message);
}
}
void ensureAttributeNotNull(@Nullable Object element, String message) {
if (element == null) {
throw new OWLXMLParserAttributeNotFoundException(handler, message);
}
}
void handleChars(char[] chars, int start, int length) {
if (isTextContentPossible()) {
sb.append(chars, start, length);
}
}
String getText() {
return sb.toString();
}
boolean isTextContentPossible() {
return false;
}
void endElement() {
child.run(parentHandler, this);
}
enum HandleChild {
//@formatter:off
AbstractOWLAxiomEH( (parent, _this) -> parent.handleChild((AxiomEH) _this)),
AbstractClassExpressionEH( (parent, _this) -> parent.handleChild((ClassEH) _this)),
AbstractOWLDataRangeHandler( (parent, _this) -> parent.handleChild((DataRangeEH) _this)),
ObjectPropertyEH( (parent, _this) -> parent.handleChild((ObjectPropertyEH) _this)),
OWLDataPropertyEH( (parent, _this) -> parent.handleChild((DataPropertyEH) _this)),
OWLIndividualEH( (parent, _this) -> parent.handleChild((IndividualEH) _this)),
OWLLiteralEH( (parent, _this) -> parent.handleChild((LiteralEH) _this)),
OWLAnnotationEH( (parent, _this) -> parent.handleChild((AnnEH) _this)),
OWLSubObjectPropertyChainEH( (parent, _this) -> parent.handleChild((ChainEH) _this)),
OWLDatatypeFacetRestrictionEH( (parent, _this) -> parent.handleChild((DatatypeFacetEH) _this)),
OWLAnnotationPropertyEH( (parent, _this) -> parent.handleChild((AnnotationPropEH) _this)),
OWLAnonymousIndividualEH( (parent, _this) -> parent.handleChild((AnonEH) _this)),
AbstractIRIEH( (parent, _this) -> parent.handleChild((IRIEH) _this)),
SWRLVariableEH( (parent, _this) -> parent.handleChild((VariableEH) _this)),
SWRLAtomEH( (parent, _this) -> parent.handleChild((AtomEH) _this)),
SWRLAtomListEH( (parent, _this) -> parent.handleChild((AtomListEH) _this));
//@formatter:on
private BiConsumer, OWLEH> consumer;
HandleChild(BiConsumer, OWLEH> c) {
consumer = c;
}
final void run(OWLEH parent, OWLEH _this) {
consumer.accept(parent, _this);
}
}
}
class ClassEH> extends OWLEH {
public ClassEH(Function b) {
provider = b;
child = HandleChild.AbstractClassExpressionEH;
}
}
class DataCardEH & SettableCardinality & SettableProperty & SettableRange>
extends DataREH {
public DataCardEH(Function b) {
super(b);
}
@Override
void attribute(String localName, String value) {
if ("cardinality".equals(localName)) {
builder.withCardinality(Integer.parseInt(value));
}
}
}
class AxiomEH> extends OWLEH {
AxiomEH(Function b) {
provider = b;
child = HandleChild.AbstractOWLAxiomEH;
}
}
abstract class DataRangeEH> extends OWLEH {
public DataRangeEH(Function b) {
provider = b;
child = HandleChild.AbstractOWLDataRangeHandler;
}
}
class ObjectCardEH & SettableCardinality & SettableProperty & SettableRange>
extends ObjectREH {
public ObjectCardEH(Function b) {
super(b);
}
@Override
void attribute(String localName, String value) {
if ("cardinality".equals(localName)) {
builder.withCardinality(Integer.parseInt(value));
}
}
}
class ObjectPEH extends OWLEH
implements ObjectPropertyEH {
public ObjectPEH() {
provider = BuilderObjectProperty::new;
child = HandleChild.ObjectPropertyEH;
}
}
class DataREH & SettableProperty & SettableRange>
extends ClassEH {
public DataREH(Function b) {
super(b);
}
@Override
void startElement(String name) {
super.startElement(name);
builder.withRange(df.getTopDatatype());
}
@Override
void handleChild(DataRangeEH h) {
builder.withRange(h.getOWLObject());
}
}
class ObjectREH & SettableProperty & SettableRange>
extends ClassEH {
public ObjectREH(Function b) {
super(b);
}
@Override
void startElement(String name) {
super.startElement(name);
builder.withRange(df.getOWLThing());
}
@Override
void handleChild(ClassEH h) {
builder.withRange(h.getOWLObject());
}
}
class IRIEH extends OWLEH> {
Provider p;
public IRIEH(boolean abbreviated) {
child = HandleChild.AbstractIRIEH;
p = abbreviated ? this::shortIri : this::longIri;
}
@Override
boolean isTextContentPossible() {
return true;
}
@Override
@SuppressWarnings("unchecked")
public IRI getOWLObject() {
return p.get();
}
IRI longIri() {
return handler.getIRI(getText().trim());
}
IRI shortIri() {
return handler.getAbbreviatedIRI(getText().trim());
}
}
class UnionOfEH extends OWLEH> {
@Override
void handleChild(ClassEH h) {
// We simply pass on to our parent, which MUST be an OWLDisjointUnionOf
getParentHandler().handleChild(h);
}
@Override
void endElement() {
// nothing to do here
}
@Override
public T getOWLObject() {
throw new OWLRuntimeException("getOWLObject should not be called on OWLUnionOfEH");
}
}
class LegacyEntityAnnEH extends AxiomEH {
LegacyEntityAnnEH() {
super(BuilderAnnotationAssertion::new);
}
@Override
void handleChild(ClassEH h) {
builder.withSubject(h.getOWLObject(OWLClassExpression.class).asOWLClass());
}
@Override
void handleChild(DataPropertyEH h) {
builder.withSubject(h.getOWLObject(OWLDataPropertyExpression.class).asOWLDataProperty());
}
@Override
void handleChild(IndividualEH h) {
builder.withSubject(h.getOWLObject(OWLAnonymousIndividual.class));
}
@Override
void handleChild(ObjectPropertyEH h) {
builder
.withSubject(h.getOWLObject(OWLObjectPropertyExpression.class).asOWLObjectProperty());
}
@Override
void handleChild(AnnEH h) {
if (builder.getSubject() == null) {
super.handleChild(h);
} else {
OWLAnnotation o = h.getOWLObject();
builder.withProperty(o.getProperty()).withValue(o.getValue());
}
}
}
class AnnotationAxiomEH extends AxiomEH {
AnnotationAxiomEH() {
super(BuilderAnnotationAssertion::new);
}
@Override
void handleChild(IRIEH h) {
internalSet(h.getOWLObject());
}
public void internalSet(T h) {
if (builder.getSubject() == null) {
builder.withSubject(h);
} else {
builder.withValue(h);
}
}
@Override
void handleChild(AnonEH h) {
internalSet(h.getOWLObject());
}
@Override
void handleChild(LiteralEH h) {
builder.withValue(h.getOWLObject());
}
}
class AnnEH extends OWLEH {
public AnnEH() {
provider = x -> new BuilderAnnotation(x);
child = HandleChild.OWLAnnotationEH;
}
@Override
void attribute(String localName, String value) {
super.attribute(localName, value);
// Legacy Handling
if (localName.equals(ANNOTATION_URI.getShortForm())) {
builder.withProperty(handler.getIRI(value));
}
}
@Override
void handleChild(AnonEH h) {
builder.withValue(h.getOWLObject());
}
@Override
void handleChild(LiteralEH h) {
builder.withValue(h.getOWLObject());
}
@Override
void handleChild(IRIEH h) {
builder.withValue(h.getOWLObject());
}
}
class AnnDomainEH
extends AxiomEH {
AnnDomainEH() {
super(BuilderAnnotationPropertyDomain::new);
}
@Override
void handleChild(IRIEH h) {
builder.withDomain(h.getOWLObject());
}
}
class AnnotationPropEH extends OWLEH {
public AnnotationPropEH() {
provider = x -> new BuilderAnnotationProperty(x);
child = HandleChild.OWLAnnotationPropertyEH;
}
@Override
void attribute(String localName, String value) {
builder.withIRI(getIRIFromAttribute(localName, value));
}
}
class AnnotationRangeEH
extends AxiomEH {
AnnotationRangeEH() {
super(BuilderAnnotationPropertyRange::new);
}
@Override
void handleChild(IRIEH h) {
builder.withRange(h.getOWLObject());
}
}
class AnonEH extends OWLEH {
public AnonEH() {
this(BuilderAnonymousIndividual::new);
}
public AnonEH(Function b) {
provider = b;
child = HandleChild.OWLAnonymousIndividualEH;
}
@Override
void attribute(String localName, String value) {
if (localName.equals(NODE_ID.getShortForm())) {
builder.withId(value.trim());
} else {
super.attribute(localName, value);
}
}
}
class ClassAssertAxiomEH extends AxiomEH {
ClassAssertAxiomEH() {
super(BuilderClassAssertion::new);
}
@Override
void handleChild(ClassEH h) {
builder.withClass(h.getOWLObject());
}
@Override
void handleChild(IndividualEH h) {
builder.withIndividual(h.getOWLObject());
}
@Override
void handleChild(AnonEH h) {
builder.withIndividual(h.getOWLObject());
}
}
class OWLClassEH extends ClassEH {
public OWLClassEH() {
super(BuilderClass::new);
}
@Override
void attribute(String localName, String value) {
builder.withIRI(getIRIFromAttribute(localName, value));
}
}
class DataComplEH extends DataRangeEH {
public DataComplEH() {
super(BuilderDataComplementOf::new);
}
@Override
void handleChild(DataRangeEH h) {
builder.withRange(h.getOWLObject(OWLDataRange.class));
}
}
class DataHasValueEH extends ClassEH {
public DataHasValueEH() {
super(BuilderDataHasValue::new);
}
@Override
void handleChild(LiteralEH h) {
builder.withLiteral(h.getOWLObject());
}
}
class DataIntersectionOfEH extends DataRangeEH {
public DataIntersectionOfEH() {
super(BuilderDataIntersectionOf::new);
}
@Override
void handleChild(DataRangeEH h) {
builder.withItem(h.getOWLObject());
}
}
class DataOneOfEH extends DataRangeEH {
public DataOneOfEH() {
super(BuilderDataOneOf::new);
}
@Override
void handleChild(LiteralEH h) {
builder.withItem(h.getOWLObject());
}
}
class DataPropertyAxiomEH
extends AxiomEH {
DataPropertyAxiomEH() {
super(BuilderDataPropertyAssertion::new);
}
@Override
void handleChild(AnonEH h) {
builder.withSubject(h.getOWLObject());
}
@Override
void handleChild(IndividualEH h) {
builder.withSubject(h.getOWLObject());
}
@Override
void handleChild(LiteralEH h) {
builder.withValue(h.getOWLObject());
}
}
class DataPropertyDomainEH extends AxiomEH {
DataPropertyDomainEH() {
super(BuilderDataPropertyDomain::new);
}
@Override
void handleChild(ClassEH h) {
builder.withDomain(h.getOWLObject());
}
}
class DataPropertyEH extends OWLEH {
public DataPropertyEH() {
provider = x -> new BuilderDataProperty(x);
child = HandleChild.OWLDataPropertyEH;
}
@Override
void attribute(String localName, String value) {
builder.withIRI(getIRIFromAttribute(localName, value));
}
}
class DataPropertyRangeEH extends AxiomEH {
DataPropertyRangeEH() {
super(BuilderDataPropertyRange::new);
}
@Override
void handleChild(DataRangeEH h) {
builder.withRange(h.getOWLObject(OWLDataRange.class));
}
}
class DataRestrictionEH extends DataRangeEH {
@Nullable
BuilderFacetRestriction oneRestriction;
public DataRestrictionEH() {
super(BuilderDatatypeRestriction::new);
}
@Override
void setHandler(OWLXMLPH handler) {
super.setHandler(handler);
oneRestriction = new BuilderFacetRestriction(df);
}
@Override
void handleChild(DataRangeEH h) {
builder.withDatatype(h.getOWLObject(OWLDataRange.class).asOWLDatatype());
}
@Override
void handleChild(LiteralEH h) {
verifyNotNull(oneRestriction).withLiteral(h.getOWLObject());
}
@Override
void handleChild(DatatypeFacetEH h) {
builder.withItem(h.getOWLObject());
}
@Override
void attribute(String localName, String value) {
super.attribute(localName, value);
if ("facet".equals(localName)) {
verifyNotNull(oneRestriction).withFacet(OWLFacet.getFacet(handler.getIRI(value)));
}
}
}
class DataUnionOfEH extends DataRangeEH {
public DataUnionOfEH() {
super(BuilderDataUnionOf::new);
}
@Override
void handleChild(DataRangeEH h) {
builder.withItem(h.getOWLObject());
}
}
class DatatypeDefinitionEH extends AxiomEH {
DatatypeDefinitionEH() {
super(BuilderDatatypeDefinition::new);
}
@Override
void handleChild(DataRangeEH h) {
OWLDataRange handledDataRange = h.getOWLObject();
if (handledDataRange.isOWLDatatype() && builder.getType() == null) {
builder.with(handledDataRange.asOWLDatatype());
} else {
builder.withType(handledDataRange);
}
}
}
class DatatypeEH extends DataRangeEH {
public DatatypeEH() {
super(BuilderDatatype::new);
}
@Override
void attribute(String localName, String value) {
builder.withIRI(getIRIFromAttribute(localName, value));
}
}
class DatatypeFacetEH extends OWLEH {
public DatatypeFacetEH() {
provider = BuilderFacetRestriction::new;
child = HandleChild.OWLDatatypeFacetRestrictionEH;
}
@Override
void handleChild(LiteralEH h) {
builder.withLiteral(h.getOWLObject());
}
@Override
void attribute(String localName, String value) {
if ("facet".equals(localName)) {
builder.withFacet(OWLFacet.getFacet(IRI.create(value)));
}
}
}
class DatatypeRestrictionEH
extends DataRangeEH {
public DatatypeRestrictionEH() {
super(BuilderDatatypeRestriction::new);
}
@Override
void handleChild(DataRangeEH h) {
OWLDataRange dr = h.getOWLObject();
if (dr.isOWLDatatype()) {
builder.withDatatype(dr.asOWLDatatype());
}
}
@Override
void handleChild(DatatypeFacetEH h) {
builder.withItem(h.getOWLObject());
}
}
class DeclarationEH extends AxiomEH {
DeclarationEH() {
super(BuilderDeclaration::new);
}
@Override
void handleChild(ClassEH h) {
builder.withEntity(h.getOWLObject(OWLClassExpression.class).asOWLClass());
}
@Override
void handleChild(ObjectPropertyEH h) {
builder.withEntity(h.getOWLObject(OWLObjectPropertyExpression.class).asOWLObjectProperty());
}
@Override
void handleChild(DataPropertyEH h) {
builder.withEntity(h.getOWLObject(OWLDataPropertyExpression.class).asOWLDataProperty());
}
@Override
void handleChild(DataRangeEH h) {
builder.withEntity(h.getOWLObject(OWLDataRange.class).asOWLDatatype());
}
@Override
void handleChild(AnnotationPropEH h) {
builder.withEntity(h.getOWLObject(OWLAnnotationProperty.class).asOWLAnnotationProperty());
}
@Override
void handleChild(IndividualEH h) {
builder.withEntity(h.getOWLObject(OWLIndividual.class).asOWLNamedIndividual());
}
}
class DifferentIndividualsEH
extends AxiomEH {
DifferentIndividualsEH() {
super(BuilderDifferentIndividuals::new);
}
@Override
void handleChild(IndividualEH h) {
builder.withItem(h.getOWLObject());
}
@Override
void handleChild(AnonEH h) {
builder.withItem(h.getOWLObject());
}
}
class DisjointClassesEH extends AxiomEH {
DisjointClassesEH() {
super(BuilderDisjointClasses::new);
}
@Override
void handleChild(ClassEH h) {
builder.withItem(h.getOWLObject());
}
}
class DisjointDataPropertiesEH
extends AxiomEH {
DisjointDataPropertiesEH() {
super(BuilderDisjointDataProperties::new);
}
@Override
void handleChild(DataPropertyEH h) {
builder.withItem(h.getOWLObject());
}
}
class DisjointObjectPropertiesEH
extends AxiomEH {
DisjointObjectPropertiesEH() {
super(BuilderDisjointObjectProperties::new);
}
@Override
void handleChild(ObjectPropertyEH h) {
builder.withItem(h.getOWLObject());
}
}
class DisjointUnionEH extends AxiomEH {
DisjointUnionEH() {
super(BuilderDisjointUnion::new);
}
@Override
void handleChild(ClassEH h) {
if (builder.getClassExpression() == null) {
builder.withClass(h.getOWLObject(OWLClassExpression.class).asOWLClass());
} else {
builder.withItem(h.getOWLObject());
}
}
}
class EquivalentClassesEH extends AxiomEH {
EquivalentClassesEH() {
super(BuilderEquivalentClasses::new);
}
@Override
void handleChild(ClassEH h) {
builder.withItem(h.getOWLObject());
}
}
class EqDataPropertiesEH
extends AxiomEH {
EqDataPropertiesEH() {
super(BuilderEquivalentDataProperties::new);
}
@Override
void handleChild(DataPropertyEH h) {
builder.withItem(h.getOWLObject());
}
}
class EqObjectPropertiesEH
extends AxiomEH {
EqObjectPropertiesEH() {
super(BuilderEquivalentObjectProperties::new);
}
@Override
void handleChild(ObjectPropertyEH h) {
builder.withItem(h.getOWLObject());
}
}
class HasKeyEH extends AxiomEH {
HasKeyEH() {
super(BuilderHasKey::new);
}
@Override
void handleChild(ClassEH h) {
builder.withClass(h.getOWLObject());
}
@Override
void handleChild(DataPropertyEH h) {
builder.withItem(h.getOWLObject());
}
@Override
void handleChild(ObjectPropertyEH h) {
builder.withItem(h.getOWLObject());
}
}
class IndividualEH extends OWLEH {
public IndividualEH() {
provider = BuilderNamedIndividual::new;
child = HandleChild.OWLIndividualEH;
}
@Override
void attribute(String localName, String value) {
builder.withIRI(getIRIFromAttribute(localName, value));
}
}
class InverseObjectAxiomEH
extends AxiomEH {
InverseObjectAxiomEH() {
super(BuilderInverseObjectProperties::new);
}
@Override
void handleChild(ObjectPropertyEH h) {
if (builder.getProperty() == null) {
builder.withProperty(h.getOWLObject());
} else {
builder.withInverseProperty(h.getOWLObject());
}
}
}
class InverseObjectEH extends OWLEH
implements ObjectPropertyEH {
public InverseObjectEH() {
provider = BuilderObjectInverseOf::new;
child = HandleChild.ObjectPropertyEH;
}
}
class LiteralEH extends OWLEH {
public LiteralEH() {
provider = BuilderLiteral::new;
child = HandleChild.OWLLiteralEH;
}
@Override
void attribute(String localName, String value) {
if (localName.equals(DATATYPE_IRI.getShortForm())) {
IRI iri = handler.getIRI(value);
OWLDatatype type = df.getOWLDatatype(iri);
// do not set the type for string types - it overrides the language
// tag if one exists
if (!OWL2Datatype.RDF_LANG_STRING.matches(type)
&& !OWL2Datatype.RDF_PLAIN_LITERAL.matches(type)
&& !OWL2Datatype.XSD_STRING.matches(type)) {
builder.withDatatype(iri);
}
} else if ("lang".equals(localName)) {
builder.withLanguage(value);
}
}
@Override
void endElement() {
builder.withLiteralForm(getText());
getParentHandler().handleChild(this);
}
@Override
boolean isTextContentPossible() {
return true;
}
}
class NegDataPropertyAxiomEH
extends AxiomEH {
NegDataPropertyAxiomEH() {
super(BuilderNegativeDataPropertyAssertion::new);
}
@Override
void handleChild(AnonEH h) {
builder.withSubject(h.getOWLObject());
}
@Override
void handleChild(IndividualEH h) {
builder.withSubject(h.getOWLObject());
}
@Override
void handleChild(LiteralEH h) {
builder.withValue(h.getOWLObject());
}
}
class NegObjectPropertyAxiomEH extends
AxiomEH {
NegObjectPropertyAxiomEH() {
super(BuilderNegativeObjectPropertyAssertion::new);
}
@Override
void handleChild(AnonEH h) {
internalSet(h.getOWLObject());
}
public void internalSet(OWLIndividual h) {
if (builder.getSubject() == null) {
builder.withSubject(h);
} else if (builder.getValue() == null) {
builder.withValue(h);
}
}
@Override
void handleChild(IndividualEH h) {
internalSet(h.getOWLObject());
}
}
class ComplementOfEH extends ClassEH {
public ComplementOfEH() {
super(BuilderComplementOf::new);
}
@Override
void handleChild(ClassEH h) {
builder.withClass(h.getOWLObject());
}
}
class HasValueEH extends ClassEH {
public HasValueEH() {
super(BuilderObjectHasValue::new);
}
@Override
void handleChild(IndividualEH h) {
builder.withValue(h.getOWLObject());
}
@Override
void handleChild(AnonEH h) {
builder.withValue(h.getOWLObject());
}
}
class IntersectionOfEH extends ClassEH {
public IntersectionOfEH() {
super(BuilderObjectIntersectionOf::new);
}
@Override
void handleChild(ClassEH h) {
builder.withItem(h.getOWLObject());
}
}
class OneOfEH extends ClassEH {
public OneOfEH() {
super(BuilderOneOf::new);
}
@Override
void handleChild(IndividualEH h) {
builder.withItem(h.getOWLObject());
}
}
class ObjectPropertyAxiomEH
extends AxiomEH {
ObjectPropertyAxiomEH() {
super(BuilderObjectPropertyAssertion::new);
}
@Override
void handleChild(AnonEH h) {
internalSet(h.getOWLObject());
}
public void internalSet(OWLIndividual h) {
if (builder.getSubject() == null) {
builder.withSubject(h);
} else if (builder.getValue() == null) {
builder.withValue(h);
}
}
@Override
void handleChild(IndividualEH h) {
internalSet(h.getOWLObject());
}
}
class ObjectPropertyDomainEH
extends AxiomEH {
ObjectPropertyDomainEH() {
super(BuilderObjectPropertyDomain::new);
}
@Override
void handleChild(ClassEH h) {
builder.withDomain(h.getOWLObject());
}
}
class OWLObjectPropertyEH extends ObjectPEH {
@Override
void attribute(String localName, String value) {
builder.withIRI(getIRIFromAttribute(localName, value));
}
}
class ObjectPropertyRangeEH
extends AxiomEH {
ObjectPropertyRangeEH() {
super(BuilderObjectPropertyRange::new);
}
@Override
void handleChild(ClassEH h) {
builder.withRange(h.getOWLObject());
}
}
class ObjectUnionOfEH extends ClassEH {
public ObjectUnionOfEH() {
super(BuilderUnionOf::new);
}
@Override
void handleChild(ClassEH h) {
builder.withItem(h.getOWLObject());
}
}
class SameIndividualsEH extends AxiomEH {
SameIndividualsEH() {
super(BuilderSameIndividual::new);
}
@Override
void handleChild(IndividualEH h) {
builder.withItem(h.getOWLObject());
}
@Override
void handleChild(AnonEH h) {
builder.withItem(h.getOWLObject());
}
}
class SubAnnPropertyOfEH
extends AxiomEH {
SubAnnPropertyOfEH() {
super(BuilderSubAnnotationPropertyOf::new);
}
@Override
void handleChild(AnnotationPropEH h) {
if (builder.getSub() == null) {
builder.withSub(h.getOWLObject());
} else if (builder.getSup() == null) {
builder.withSup(h.getOWLObject());
} else {
ensureNotNull(null, "two annotation properties elements");
}
}
}
class SubClassEH extends AxiomEH {
SubClassEH() {
super(BuilderSubClass::new);
}
@Override
void handleChild(ClassEH h) {
if (builder.getSub() == null) {
builder.withSub(h.getOWLObject());
} else if (builder.getSup() == null) {
builder.withSup(h.getOWLObject());
}
}
}
class SubDataPropertyOfEH extends AxiomEH {
SubDataPropertyOfEH() {
super(BuilderSubDataProperty::new);
}
@Override
void handleChild(DataPropertyEH h) {
if (builder.getSub() == null) {
builder.withSub(h.getOWLObject());
} else if (builder.getSup() == null) {
builder.withSup(h.getOWLObject());
}
}
}
class ChainEH
extends OWLEH, Builder>> {
final List propertyList = new ArrayList<>();
public ChainEH() {
child = HandleChild.OWLSubObjectPropertyChainEH;
}
@Override
@SuppressWarnings("unchecked")
public List getOWLObject() {
return propertyList;
}
@Override
void handleChild(ObjectPropertyEH h) {
propertyList.add(h.getOWLObject());
}
}
class SubObjectPropertyOfEH extends AxiomEH {
@Nullable
BuilderPropertyChain chain;
SubObjectPropertyOfEH() {
super(BuilderSubObjectProperty::new);
}
@Override
void setHandler(OWLXMLPH handler) {
super.setHandler(handler);
chain = new BuilderPropertyChain(df);
}
@Override
void handleChild(ObjectPropertyEH h) {
OWLObjectPropertyExpression prop = h.getOWLObject();
if (builder.getSub() == null && verifyNotNull(chain).chainSize() == 0) {
builder.withSub(prop);
} else if (builder.getSup() == null) {
builder.withSup(prop);
verifyNotNull(chain).withProperty(prop);
} else {
ensureNotNull(null, "Expected two object property expression elements");
}
}
@Override
void handleChild(AnnEH h) {
super.handleChild(h);
verifyNotNull(chain).withAnnotation(h.getOWLObject());
}
@Override
void handleChild(ChainEH h) {
verifyNotNull(chain).withPropertiesInChain(h.getOWLObject());
}
@Override
@SuppressWarnings("unchecked")
public T getOWLObject() {
if (verifyNotNull(chain).chainSize() > 0) {
return (T) verifyNotNull(chain).buildObject();
}
return (T) builder.buildObject();
}
}
abstract class AtomEH> extends OWLEH {
public AtomEH() {
child = HandleChild.SWRLAtomEH;
}
protected SWRLLiteralArgument swrlLit(OWLLiteral lit) {
return df.getSWRLLiteralArgument(lit);
}
protected SWRLIndividualArgument swrlInd(OWLIndividual i) {
return df.getSWRLIndividualArgument(i);
}
}
class AtomListEH extends OWLEH, Builder>> {
final List atoms = new ArrayList<>();
public AtomListEH() {
child = HandleChild.SWRLAtomListEH;
}
@Override
void handleChild(AtomEH h) {
atoms.add(h.getOWLObject(SWRLAtom.class));
}
@Override
@SuppressWarnings("unchecked")
public List getOWLObject() {
return atoms;
}
}
class BuiltInAtomEH extends AtomEH {
public BuiltInAtomEH() {
provider = x -> new BuilderSWRLBuiltInAtom(x);
}
@Override
void attribute(String localName, String value) {
builder.with(getIRIFromAttribute(localName, value));
}
@Override
void handleChild(VariableEH h) {
builder.with(h.getOWLObject(SWRLDArgument.class));
}
@Override
void handleChild(LiteralEH h) {
builder.with(swrlLit(h.getOWLObject()));
}
}
class ClassAtomEH extends AtomEH {
public ClassAtomEH() {
provider = x -> new BuilderSWRLClassAtom(x);
}
@Override
void handleChild(VariableEH h) {
builder.with(h.getOWLObject(SWRLIArgument.class));
}
@Override
void handleChild(ClassEH h) {
builder.with(h.getOWLObject(OWLClassExpression.class));
}
@Override
void handleChild(IndividualEH h) {
builder.with(swrlInd(h.getOWLObject()));
}
}
class DataPropertyAtomEH extends AtomEH {
public DataPropertyAtomEH() {
provider = x -> new BuilderSWRLDataPropertyAtom(x);
}
@Override
void handleChild(DataPropertyEH h) {
builder.withProperty(h.getOWLObject());
}
@Override
void handleChild(VariableEH h) {
if (builder.getArg0() == null) {
builder.with(h.getOWLObject(SWRLIArgument.class));
} else if (builder.getArg1() == null) {
builder.with(h.getOWLObject(SWRLDArgument.class));
}
}
@Override
void handleChild(LiteralEH h) {
builder.with(swrlLit(h.getOWLObject()));
}
@Override
void handleChild(IndividualEH h) {
builder.with(swrlInd(h.getOWLObject()));
}
@Override
void handleChild(AnonEH h) {
builder.with(swrlInd(h.getOWLObject()));
}
}
class DataRangeAtomEH extends AtomEH {
public DataRangeAtomEH() {
provider = x -> new BuilderSWRLDataRangeAtom(x);
}
@Override
void handleChild(DataRangeEH h) {
builder.with(h.getOWLObject(OWLDataRange.class));
}
@Override
void handleChild(VariableEH h) {
builder.with(h.getOWLObject(SWRLDArgument.class));
}
@Override
void handleChild(LiteralEH h) {
builder.with(swrlLit(h.getOWLObject()));
}
}
class IndividualsAtomEH, B extends BuilderSWRLIndividualsAtom>
extends AtomEH {
public IndividualsAtomEH(Function b) {
provider = b;
}
@Override
void handleChild(VariableEH h) {
internalSet(h.getOWLObject());
}
public void internalSet(SWRLIArgument h) {
if (builder.getArg0() == null) {
builder.withArg0(h);
} else if (builder.getArg1() == null) {
builder.withArg1(h);
}
}
@Override
void handleChild(IndividualEH h) {
internalSet(swrlInd(h.getOWLObject()));
}
}
class ObjectPropertyAtomEH
extends IndividualsAtomEH {
public ObjectPropertyAtomEH() {
super(x -> new BuilderSWRLObjectPropertyAtom(x));
}
@Override
void handleChild(ObjectPropertyEH h) {
builder.withProperty(h.getOWLObject());
}
}
class SWRLRuleEH extends AxiomEH {
SWRLRuleEH() {
super(BuilderSWRLRule::new);
}
@Override
void handleChild(AtomListEH h) {
if (builder.bodySize() == 0) {
builder.withBody(h.getOWLObject());
} else if (builder.headSize() == 0) {
builder.withHead(h.getOWLObject());
}
}
}
class VariableEH extends OWLEH {
public VariableEH() {
child = HandleChild.SWRLVariableEH;
provider = BuilderSWRLVariable::new;
}
@Override
void attribute(String localName, String value) {
if (XMLUtils.isNCName(value)) {
builder.with(IRI.create("urn:swrl:var#", value));
} else {
builder.with(getIRIFromAttribute(localName, value));
}
}
}
class OntologyEH extends OWLEH> {
@Override
void startElement(String name) {
// nothing to do here
}
@Override
void attribute(String localName, String value) {
OWLOntology o = handler.getOntology();
if ("ontologyIRI".equals(localName)) {
o.applyChange(new SetOntologyID(o,
new OWLOntologyID(optional(IRI.create(value)), o.getOntologyID().getVersionIRI())));
}
if ("versionIRI".equals(localName)) {
o.applyChange(new SetOntologyID(o, new OWLOntologyID(o.getOntologyID().getOntologyIRI(),
optional(IRI.create(value)))));
}
}
@Override
void handleChild(DataRangeEH h) {
// nothing to do here
}
@Override
void handleChild(ClassEH h) {
// nothing to do here
}
@Override
void handleChild(AnnEH h) {
OWLOntology o = handler.getOntology();
o.applyChange(new AddOntologyAnnotation(o, h.getOWLObject()));
}
@Override
void endElement() {
// nothing to do here
}
@Override
@SuppressWarnings("unchecked")
public OWLOntology getOWLObject() {
return handler.getOntology();
}
@Override
void setParentHandler(OWLEH handler) {
// nothing to do here
}
}
class ImportsEH extends OWLEH> {
@Override
void endElement() {
IRI ontIRI = handler.getIRI(getText().trim());
OWLImportsDeclaration decl = df.getOWLImportsDeclaration(ontIRI);
handler.getOWLOntologyManager().applyChange(new AddImport(handler.getOntology(), decl));
handler.getOWLOntologyManager().makeLoadImportRequest(decl, handler.getConfiguration());
}
@Override
public T getOWLObject() {
throw new OWLRuntimeException("There is no OWLObject for imports handlers");
}
@Override
boolean isTextContentPossible() {
return true;
}
}