Please wait. This can take some minutes ...
Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $
You can buy this project and download/modify it how often you want.
org.semanticweb.owlapi.owlxml.parser.PARSER_OWLXMLVocabulary 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 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 owlxml 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", "null"})
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);
}
}
public T getOWLObject() {
return (T) builder.buildObject();
}
public T getOWLObject(Class witness) {
return (T) 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 extends OWLAxiom, ?> h) {
OWLAxiom axiom = h.getOWLObject();
if (!axiom.isAnnotationAxiom() || handler.getConfiguration().isLoadAnnotationAxioms()) {
handler.getOWLOntologyManager().applyChange(new AddAxiom(handler.getOntology(), axiom));
}
}
void handleChild(ClassEH extends OWLClassExpression, ?> h) {
}
void handleChild(DataRangeEH extends OWLDataRange, ?> 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(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(AnnotationPropEH h) {
if (builder instanceof SettableProperty) {
((SettableProperty) builder).withProperty(h.getOWLObject(
OWLAnnotationProperty.class));
}
}
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 {
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));
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 extends OWLDataRange, ?> 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 extends OWLClassExpression, ?> 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
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 extends OWLClassExpression, ?> 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 extends OWLClassExpression, ?> 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 extends OWLClassExpression, ?> 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 extends OWLDataRange, ?> 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 extends OWLDataRange, ?> 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 extends OWLClassExpression, ?> 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 extends OWLDataRange, ?> 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 extends OWLDataRange, ?> 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 extends OWLDataRange, ?> h) {
builder.withItem(h.getOWLObject());
}
}
class DatatypeDefinitionEH extends AxiomEH {
DatatypeDefinitionEH() {
super(BuilderDatatypeDefinition::new);
}
@Override
void handleChild(DataRangeEH extends OWLDataRange, ?> 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 extends OWLDataRange, ?> 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 extends OWLClassExpression, ?> 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 extends OWLDataRange, ?> 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 extends OWLClassExpression, ?> 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 extends OWLClassExpression, ?> 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 extends OWLClassExpression, ?> 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 extends OWLClassExpression, ?> 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 extends OWLClassExpression, ?> 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 extends OWLClassExpression, ?> 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 extends OWLClassExpression, ?> 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 extends OWLClassExpression, ?> h) {
builder.withRange(h.getOWLObject());
}
}
class ObjectUnionOfEH extends ClassEH {
public ObjectUnionOfEH() {
super(BuilderUnionOf::new);
}
@Override
void handleChild(ClassEH extends OWLClassExpression, ?> 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 extends OWLClassExpression, ?> 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
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
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
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 extends OWLClassExpression, ?> 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 extends OWLDataRange, ?> 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#", 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 extends OWLDataRange, ?> h) {
// nothing to do here
}
@Override
void handleChild(ClassEH extends OWLClassExpression, ?> 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
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 OWLOntology getOWLObject() {
throw new OWLRuntimeException("There is no OWLObject for imports handlers");
}
@Override
boolean isTextContentPossible() {
return true;
}
}