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.
/* 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.rdf.rdfxml.parser;
import static org.semanticweb.owlapi.model.parameters.Imports.INCLUDED;
import static org.semanticweb.owlapi.util.CollectionFactory.*;
import static org.semanticweb.owlapi.util.OWLAPIPreconditions.*;
import static org.semanticweb.owlapi.util.OWLAPIStreamUtils.asList;
import static org.semanticweb.owlapi.vocab.Namespaces.*;
import static org.semanticweb.owlapi.vocab.OWLRDFVocabulary.*;
import java.util.ArrayList;
import java.util.Collection;
import java.util.Collections;
import java.util.LinkedHashSet;
import java.util.List;
import java.util.Map;
import java.util.Optional;
import java.util.Set;
import java.util.concurrent.atomic.AtomicInteger;
import java.util.stream.Stream;
import javax.annotation.Nullable;
import org.semanticweb.owlapi.formats.RDFDocumentFormat;
import org.semanticweb.owlapi.io.OWLParserException;
import org.semanticweb.owlapi.io.RDFLiteral;
import org.semanticweb.owlapi.io.RDFOntologyHeaderStatus;
import org.semanticweb.owlapi.io.RDFParserMetaData;
import org.semanticweb.owlapi.io.RDFResource;
import org.semanticweb.owlapi.io.RDFResourceBlankNode;
import org.semanticweb.owlapi.io.RDFResourceIRI;
import org.semanticweb.owlapi.io.RDFResourceParseError;
import org.semanticweb.owlapi.io.RDFTriple;
import org.semanticweb.owlapi.model.*;
import org.semanticweb.owlapi.model.providers.AnonymousIndividualByIdProvider;
import org.semanticweb.owlapi.rdf.rdfxml.parser.Translators.TranslatorAccessor;
import org.semanticweb.owlapi.rdf.rdfxml.parser.TripleHandlers.HandlerAccessor;
import org.semanticweb.owlapi.util.AnonymousNodeChecker;
import org.semanticweb.owlapi.util.AnonymousNodeCheckerImpl;
import org.semanticweb.owlapi.util.RemappingIndividualProvider;
import org.semanticweb.owlapi.vocab.OWL2Datatype;
import org.semanticweb.owlapi.vocab.OWLFacet;
import org.semanticweb.owlapi.vocab.OWLRDFVocabulary;
import org.semanticweb.owlapi.vocab.XSDVocabulary;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;
import com.google.common.collect.ArrayListMultimap;
import com.google.common.collect.Sets;
/**
* A parser/interpreter for an RDF graph which represents an OWL ontology. The consumer interprets
* triple patterns in the graph to produce the appropriate OWLAPI entities, class expressions and
* axioms. The parser is based on triple handlers. A given triple handler handles a specific type of
* triple. Generally speaking this is based on the predicate of a triple, for example, A
* rdfs:subClassOf B is handled by a subClassOf handler. A handler determines if it can handle a
* triple in a streaming mode (i.e. while parsing is taking place) or if it can handle a triple
* after parsing has taken place and the complete graph is in memory. Once a handler handles a
* triple, that triple is deemed to have been consumed an is discarded. The parser attempts to
* consume as many triples as possible while streaming parsing is taking place. Whether or not a
* triple can be consumed during parsing is determined by installed triple handlers.
*
* @author Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group
* @since 2.0.0
*/
public class OWLRDFConsumer
implements RDFConsumer, AnonymousNodeChecker, AnonymousIndividualByIdProvider {
/**
* The Constant DAML_OIL.
*/
private static final String DAML_OIL = "http://www.daml.org/2001/03/daml+oil#";
private static final Logger LOGGER = LoggerFactory.getLogger(OWLRDFConsumer.class);
private static final AtomicInteger ERRORCOUNTER = new AtomicInteger(0);
private static final Set entityTypes =
Sets.newHashSet(OWL_CLASS.getIRI(), OWL_OBJECT_PROPERTY.getIRI(),
OWL_DATA_PROPERTY.getIRI(), OWL_ANNOTATION_PROPERTY.getIRI(),
RDFS_DATATYPE.getIRI(), OWL_NAMED_INDIVIDUAL.getIRI());
// The set of IRIs that are either explicitly typed
// an an owl:Class, or are inferred to be an owl:Class
// because they are used in some triple whose predicate
// has the domain or range of owl:Class
final TripleLogger tripleLogger;
final HandlerAccessor handlerAccessor;
final TranslatorAccessor translatorAccessor;
/**
* The configuration.
*/
private final OWLOntologyLoaderConfiguration configuration;
/**
* The class expression iris.
*/
private final Set classIRIs = createSet();
/**
* Same as classExpressionIRIs but for object properties
*/
private final Set objectPropertyIRIs = createSet();
/**
* Same as classExpressionIRIs but for data properties
*/
private final Set dataPropertyIRIs = createSet();
/**
* Same as classExpressionIRIs but for rdf properties things neither typed as a data or object
* property - bad!
*/
private final Set propertyIRIs = createSet();
/**
* Set of IRIs that are typed by non-system types and also owl:Thing
*/
private final Set individualIRIs = createSet();
/**
* Same as classExpressionIRIs but for annotation properties
*/
private final Set annPropertyIRIs = createSet();
/**
* The annotation iris.
*/
private final Set annotationIRIs = createSet();
/**
* IRIs that had a type triple to rdfs:Datatange
*/
private final Set dataRangeIRIs = createSet();
/**
* IRIs that had a type triple to owl:Ontology
*/
private final Set ontologyIRIs = createSet();
/**
* IRIs that had a type triple to owl:Restriction
*/
private final Set restrictionIRIs = createSet();
/**
* Maps rdf:next triple subjects to objects
*/
private final Map listRestTripleMap = createMap();
/**
* The list first resource triple map.
*/
private final Map listFirstResourceTripleMap = createMap();
/**
* The list first literal triple map.
*/
private final Map listFirstLiteralTripleMap = createMap();
/**
* The axioms.
*/
private final Set axioms = createSet();
/**
* The shared anonymous nodes.
*/
private final Map sharedAnonymousNodes = createMap();
/**
* The pending annotations.
*/
private final Set pendingAnnotations = createSet();
/**
* The annotated anon source2 annotation map.
*/
private final Map> annotatedAnonSource2AnnotationMap = createMap();
/**
* The ontology that the RDF will be parsed into.
*/
private final OWLOntology ontology;
/**
* The data factory.
*/
private final OWLDataFactory df;
// SWRL Stuff
/**
* The synonym map.
*/
private final Map synonymMap = createMap();
/**
* The swrl rules.
*/
private final Set swrlRules = createSet();
/**
* The swrl individual property atoms.
*/
private final Set swrlIndividualPropertyAtoms = createSet();
/**
* The swrl data valued property atoms.
*/
private final Set swrlDataValuedPropertyAtoms = createSet();
/**
* The swrl class atoms.
*/
private final Set swrlClassAtoms = createSet();
/**
* The swrl data range atoms.
*/
private final Set swrlDataRangeAtoms = createSet();
/**
* The swrl built in atoms.
*/
private final Set swrlBuiltInAtoms = createSet();
/**
* The swrl variables.
*/
private final Set swrlVariables = createSet();
/**
* The swrl same as atoms.
*/
private final Set swrlSameAsAtoms = createSet();
/**
* The swrl different from atoms.
*/
private final Set swrlDifferentFromAtoms = createSet();
/**
* A cache of annotation axioms to be added at the end - saves some peek memory doing this.
*/
private final Collection parsedAnnotationAxioms = new ArrayList<>();
/**
* The axioms to be removed.
*/
private final Collection axiomsToBeRemoved = new ArrayList<>();
private final AnonymousNodeChecker nodeCheckerDelegate;
private final ArrayListMultimap> guessedDeclarations = ArrayListMultimap.create();
/**
* The translated properties.
*/
private final Map translatedProperties = createMap();
/**
* Subject, predicate, object
*/
private final Map>> resTriplesBySubject = createMap();
/**
* Predicate, subject, object
*/
private final Map> singleValuedResTriplesByPredicate = createMap();
/**
* Literal triples
*/
private final Map>> litTriplesBySubject = createMap();
// Resource triples
/**
* Predicate, subject, object
*/
private final Map> singleValuedLitTriplesByPredicate = createMap();
private final Map remappedIRIs = createMap();
private final Map remappedIRIStrings = createMap();
// Caching IRIs here helps save memory. This cache is local to a particular
// consumer, so the cache size itself is much smaller than the total memory
// footprint
private final Map IRIMap = createMap();
RemappingIndividualProvider anonProvider;
/**
* The IRI of the first reource that is typed as an ontology
*/
@Nullable
private IRI firstOntologyIRI;
/**
* The ontology format.
*/
@Nullable
private RDFDocumentFormat ontologyFormat;
/**
* The last added axiom.
*/
@Nullable
private OWLAxiom lastAddedAxiom;
/**
* The iri provider.
*/
@Nullable
private IRIProvider iriProvider;
/**
* The parsed all triples.
*/
private boolean parsedAllTriples = false;
/**
* Instantiates a new oWLRDF consumer.
*
* @param ontology the ontology
* @param configuration the configuration
*/
public OWLRDFConsumer(OWLOntology ontology, OWLOntologyLoaderConfiguration configuration) {
this(ontology, new AnonymousNodeCheckerImpl(), configuration);
}
/**
* Instantiates a new oWLRDF consumer.
*
* @param ontology the ontology
* @param checker anonymous node checker
* @param configuration the configuration
*/
public OWLRDFConsumer(OWLOntology ontology, AnonymousNodeChecker checker,
OWLOntologyLoaderConfiguration configuration) {
nodeCheckerDelegate = checker;
this.ontology = ontology;
df = ontology.getOWLOntologyManager().getOWLDataFactory();
anonProvider = new RemappingIndividualProvider(
ontology.getOWLOntologyManager().getOntologyConfigurator(), df);
this.configuration = configuration;
handlerAccessor = new HandlerAccessor(this);
translatorAccessor = new TranslatorAccessor(this);
BUILT_IN_AP_IRIS.forEach(annPropertyIRIs::add);
dataRangeIRIs.add(RDFS_LITERAL.getIRI());
Stream.of(OWL2Datatype.values()).forEach(v -> dataRangeIRIs.add(v.getIRI()));
if (!configuration.isStrict()) {
Stream.of(XSDVocabulary.values()).forEach(v -> dataRangeIRIs.add(v.getIRI()));
}
classIRIs.add(OWL_THING.getIRI());
classIRIs.add(OWL_NOTHING.getIRI());
objectPropertyIRIs.add(OWL_TOP_OBJECT_PROPERTY.getIRI());
objectPropertyIRIs.add(OWL_BOTTOM_OBJECT_PROPERTY.getIRI());
dataPropertyIRIs.add(OWL_TOP_DATA_PROPERTY.getIRI());
dataPropertyIRIs.add(OWL_BOTTOM_DATA_PROPERTY.getIRI());
setupSynonymMap();
setupSinglePredicateMaps();
// Cache anything in the existing imports closure
importsClosureChanged();
if (this.ontology.getOntologyID().getOntologyIRI().isPresent()) {
addOntology(this.ontology.getOntologyID().getOntologyIRI().get());
}
tripleLogger = new TripleLogger();
}
private static IRI daml(String i) {
return IRI.create(DAML_OIL, i);
}
/**
* Determines if the specified IRI is an IRI corresponding to owl:Class, owl:DatatypeProperty,
* rdfs:Datatype, owl:ObjectProperty, owl:AnnotationProperty, or owl:NamedIndividual.
*
* @param iri The IRI to check
* @return {@code true} if the IRI corresponds to a built in OWL entity IRI otherwise {@code
* false}.
*/
private static boolean isEntityTypeIRI(IRI iri) {
return entityTypes.contains(iri);
}
// RDFConsumer implementation
private static void printTriple(Object subject, Object predicate, Object object) {
LOGGER.info("Unparsed triple: {} -> {} -> {}", subject, predicate, object);
}
/**
* Checks if is general predicate.
*
* @param predicate the predicate
* @return true, if is general predicate
*/
protected static boolean isGeneralPredicate(IRI predicate) {
return !predicate.isReservedVocabulary() || BUILT_IN_AP_IRIS.contains(predicate)
|| SWRL.inNamespace(predicate) || SWRLB.inNamespace(predicate);
}
@Override
public void addPrefix(String abbreviation, String value) {
if (getOntologyFormat().isPrefixOWLDocumentFormat()) {
getOntologyFormat().asPrefixOWLDocumentFormat().setPrefix(abbreviation, value);
}
}
/**
* Sets the iRI provider.
*
* @param iriProvider the new iRI provider
*/
protected void setIRIProvider(IRIProvider iriProvider) {
this.iriProvider = iriProvider;
}
private void setupSinglePredicateMaps() {
Stream.of(OWL_ON_PROPERTY, OWL_SOME_VALUES_FROM, OWL_ALL_VALUES_FROM, OWL_ON_CLASS,
OWL_ON_DATA_RANGE)
.forEach(v -> singleValuedResTriplesByPredicate.put(v.getIRI(),
createMap()));
}
private void setupSynonymMap() {
// We can load legacy ontologies by providing synonyms for built in
// vocabulary
// where the vocabulary has simply changed (e.g. DAML+OIL -> OWL)
synonymMap.clear();
// Legacy protege-owlapi representation of QCRs
synonymMap.put(IRI.create(OWL.getPrefixIRI(), "valuesFrom"), OWL_ON_CLASS.getIRI());
if (!configuration.isStrict()) {
addDAMLOILVocabulary();
addIntermediateOWLSpecVocabulary();
}
}
/**
* Adds the damloil vocabulary.
*/
private void addDAMLOILVocabulary() {
synonymMap.put(daml("subClassOf"), RDFS_SUBCLASS_OF.getIRI());
synonymMap.put(daml("imports"), OWL_IMPORTS.getIRI());
synonymMap.put(daml("range"), RDFS_RANGE.getIRI());
synonymMap.put(daml("hasValue"), OWL_HAS_VALUE.getIRI());
synonymMap.put(daml("type"), RDF_TYPE.getIRI());
synonymMap.put(daml("domain"), RDFS_DOMAIN.getIRI());
synonymMap.put(daml("versionInfo"), OWL_VERSION_INFO.getIRI());
synonymMap.put(daml("comment"), RDFS_COMMENT.getIRI());
synonymMap.put(daml("onProperty"), OWL_ON_PROPERTY.getIRI());
synonymMap.put(daml("toClass"), OWL_ALL_VALUES_FROM.getIRI());
synonymMap.put(daml("hasClass"), OWL_SOME_VALUES_FROM.getIRI());
synonymMap.put(daml("Restriction"), OWL_RESTRICTION.getIRI());
synonymMap.put(daml("Class"), OWL_CLASS.getIRI());
synonymMap.put(daml("Thing"), OWL_THING.getIRI());
synonymMap.put(daml("Nothing"), OWL_NOTHING.getIRI());
synonymMap.put(daml("minCardinality"), OWL_MIN_CARDINALITY.getIRI());
synonymMap.put(daml("cardinality"), OWL_CARDINALITY.getIRI());
synonymMap.put(daml("maxCardinality"), OWL_MAX_CARDINALITY.getIRI());
synonymMap.put(daml("inverseOf"), OWL_INVERSE_OF.getIRI());
synonymMap.put(daml("samePropertyAs"), OWL_EQUIVALENT_PROPERTY.getIRI());
synonymMap.put(daml("hasClassQ"), OWL_ON_CLASS.getIRI());
synonymMap.put(daml("cardinalityQ"), OWL_CARDINALITY.getIRI());
synonymMap.put(daml("maxCardinalityQ"), OWL_MAX_CARDINALITY.getIRI());
synonymMap.put(daml("minCardinalityQ"), OWL_MIN_CARDINALITY.getIRI());
synonymMap.put(daml("complementOf"), OWL_COMPLEMENT_OF.getIRI());
synonymMap.put(daml("unionOf"), OWL_UNION_OF.getIRI());
synonymMap.put(daml("intersectionOf"), OWL_INTERSECTION_OF.getIRI());
synonymMap.put(daml("label"), RDFS_LABEL.getIRI());
synonymMap.put(daml("ObjectProperty"), OWL_OBJECT_PROPERTY.getIRI());
synonymMap.put(daml("DatatypeProperty"), OWL_DATA_PROPERTY.getIRI());
}
/**
* There may be some ontologies floating about that use early versions of the OWL 1.1
* vocabulary. We can map early versions of the vocabulary to the current OWL 1.1 vocabulary.
*/
private void addIntermediateOWLSpecVocabulary() {
for (OWLRDFVocabulary v : OWLRDFVocabulary.values()) {
addLegacyMapping(v);
}
Stream.of(OWLFacet.values()).forEach(v -> Stream.of(OWL, OWL11, OWL2)
.forEach(p -> synonymMap.put(IRI.create(p.getPrefixIRI(), v.getShortForm()),
v.getIRI())));
synonymMap.put(OWL_NEGATIVE_DATA_PROPERTY_ASSERTION.getIRI(),
OWL_NEGATIVE_PROPERTY_ASSERTION.getIRI());
synonymMap.put(OWL_NEGATIVE_OBJECT_PROPERTY_ASSERTION.getIRI(),
OWL_NEGATIVE_PROPERTY_ASSERTION.getIRI());
// Intermediate OWL 2 spec
synonymMap.put(OWL_SUBJECT.getIRI(), OWL_ANNOTATED_SOURCE.getIRI());
synonymMap.put(OWL_PREDICATE.getIRI(), OWL_ANNOTATED_PROPERTY.getIRI());
synonymMap.put(OWL_OBJECT.getIRI(), OWL_ANNOTATED_TARGET.getIRI());
// Preliminary OWL 1.1 Vocab
synonymMap.put(IRI.create(OWL.getPrefixIRI(), "cardinalityType"), OWL_ON_CLASS.getIRI());
synonymMap.put(IRI.create(OWL.getPrefixIRI(), "dataComplementOf"),
OWL_COMPLEMENT_OF.getIRI());
synonymMap.put(OWL_ANTI_SYMMETRIC_PROPERTY.getIRI(), OWL_ASYMMETRIC_PROPERTY.getIRI());
synonymMap.put(OWL_FUNCTIONAL_DATA_PROPERTY.getIRI(), OWL_FUNCTIONAL_PROPERTY.getIRI());
synonymMap.put(OWL_FUNCTIONAL_OBJECT_PROPERTY.getIRI(), OWL_FUNCTIONAL_PROPERTY.getIRI());
synonymMap.put(OWL_SUB_DATA_PROPERTY_OF.getIRI(), RDFS_SUB_PROPERTY_OF.getIRI());
synonymMap.put(OWL_SUB_OBJECT_PROPERTY_OF.getIRI(), RDFS_SUB_PROPERTY_OF.getIRI());
synonymMap.put(OWL_OBJECT_PROPERTY_RANGE.getIRI(), RDFS_RANGE.getIRI());
synonymMap.put(OWL_DATA_PROPERTY_RANGE.getIRI(), RDFS_RANGE.getIRI());
synonymMap.put(OWL_OBJECT_PROPERTY_DOMAIN.getIRI(), RDFS_DOMAIN.getIRI());
synonymMap.put(OWL_DATA_PROPERTY_DOMAIN.getIRI(), RDFS_DOMAIN.getIRI());
synonymMap.put(OWL_DISJOINT_DATA_PROPERTIES.getIRI(), OWL_PROPERTY_DISJOINT_WITH.getIRI());
synonymMap.put(OWL_DISJOINT_OBJECT_PROPERTIES.getIRI(),
OWL_PROPERTY_DISJOINT_WITH.getIRI());
synonymMap.put(OWL_EQUIVALENT_DATA_PROPERTIES.getIRI(), OWL_EQUIVALENT_PROPERTY.getIRI());
synonymMap.put(OWL_EQUIVALENT_OBJECT_PROPERTIES.getIRI(), OWL_EQUIVALENT_PROPERTY.getIRI());
synonymMap.put(OWL_OBJECT_RESTRICTION.getIRI(), OWL_RESTRICTION.getIRI());
synonymMap.put(OWL_DATA_RESTRICTION.getIRI(), OWL_RESTRICTION.getIRI());
synonymMap.put(OWL_DATA_RANGE.getIRI(), RDFS_DATATYPE.getIRI());
synonymMap.put(OWL_SUBJECT.getIRI(), OWL_ANNOTATED_SOURCE.getIRI());
synonymMap.put(OWL_PREDICATE.getIRI(), OWL_ANNOTATED_PROPERTY.getIRI());
synonymMap.put(OWL_OBJECT.getIRI(), OWL_ANNOTATED_TARGET.getIRI());
}
private void addLegacyMapping(OWLRDFVocabulary v) {
// Map OWL11 to OWL
// Map OWL2 to OWL
synonymMap.put(IRI.create(OWL2.getPrefixIRI(), v.getShortForm()), v.getIRI());
synonymMap.put(IRI.create(OWL11.getPrefixIRI(), v.getShortForm()), v.getIRI());
}
/**
* Gets the ontology.
*
* @return the ontology
*/
public OWLOntology getOntology() {
return ontology;
}
/**
* Gets the ontology format.
*
* @return the ontology format
*/
public RDFDocumentFormat getOntologyFormat() {
return verifyNotNull(ontologyFormat, "ontology format has not been set yet");
}
/**
* Sets the ontology format.
*
* @param format the new ontology format
*/
public void setOntologyFormat(RDFDocumentFormat format) {
ontologyFormat = format;
if (getOntologyFormat().isPrefixOWLDocumentFormat()) {
tripleLogger.setPrefixManager(getOntologyFormat().asPrefixOWLDocumentFormat());
}
}
/**
* Gets the data factory.
*
* @return the data factory
*/
public OWLDataFactory getDataFactory() {
return df;
}
/**
* Gets any annotations that were translated since the last call of this method (calling this
* method clears the current pending annotations).
*
* @return The set (possibly empty) of pending annotations.
*/
public Set getPendingAnnotations() {
Set annos = new LinkedHashSet<>(pendingAnnotations);
pendingAnnotations.clear();
return annos;
}
/**
* Sets the pending annotations.
*
* @param annotations the new pending annotations
*/
protected void addPendingAnnotations(Set annotations) {
pendingAnnotations.addAll(annotations);
}
private IRI getIRI(String s) {
checkNotNull(s, "s cannot be null");
IRI iri = null;
if (iriProvider != null) {
iri = iriProvider.getIRI(s);
}
if (iri != null) {
return iri;
}
return IRIMap.computeIfAbsent(s, IRI::create);
}
/**
* Imports closure changed.
*/
protected final void importsClosureChanged() {
// NOTE: This method only gets called when the ontology being parsed
// adds a direct import. This is enough
// for resolving the imports closure.
// We cache IRIs of various entities here.
// We also mop up any triples that weren't parsed and consumed in the
// imports closure.
ontology.annotationPropertiesInSignature(INCLUDED)
.forEach(e -> annPropertyIRIs.add(e.getIRI()));
ontology.dataPropertiesInSignature(INCLUDED).forEach(e -> dataPropertyIRIs.add(e.getIRI()));
ontology.objectPropertiesInSignature(INCLUDED)
.forEach(e -> objectPropertyIRIs.add(e.getIRI()));
ontology.classesInSignature(INCLUDED).forEach(e -> classIRIs.add(e.getIRI()));
ontology.datatypesInSignature(INCLUDED).forEach(e -> dataRangeIRIs.add(e.getIRI()));
ontology.individualsInSignature(INCLUDED).forEach(e -> individualIRIs.add(e.getIRI()));
}
@Override
public boolean isAnonymousNode(String iri) {
return nodeCheckerDelegate.isAnonymousNode(iri);
}
@Override
public boolean isAnonymousSharedNode(String iri) {
return nodeCheckerDelegate.isAnonymousSharedNode(iri);
}
@Override
public boolean isAnonymousNode(IRI iri) {
return nodeCheckerDelegate.isAnonymousNode(iri);
}
/**
* Adds the shared anonymous node.
*
* @param iri the iri
* @param translation the translation
*/
protected void addSharedAnonymousNode(IRI iri, Object translation) {
sharedAnonymousNodes.put(iri, translation);
}
/**
* Gets the shared anonymous node.
*
* @param iri the iri
* @return the shared anonymous node
*/
protected Object getSharedAnonymousNode(IRI iri) {
return sharedAnonymousNodes.get(iri);
}
/**
* Adds the axiom.
*
* @param axiom the axiom
*/
protected void addAxiom(OWLAxiom axiom) {
if (axiom.isAnnotationAxiom()) {
if (configuration.isLoadAnnotationAxioms()) {
parsedAnnotationAxioms.add((OWLAnnotationAxiom) axiom);
}
} else {
ontology.add(axiom);
}
lastAddedAxiom = axiom;
}
/**
* Marks an axioms for removal at the end of parsing. This is usually used for annotated axioms,
* since the RDF serialization spec mandates that a "base" triple must be included on
* serialization.
*
* @param axiom The axiom to be removed.
*/
protected void removeAxiom(OWLAxiom axiom) {
axiomsToBeRemoved.add(axiom);
}
/**
* Check for and process annotated declaration.
*
* @param n the main node
*/
protected void checkForAndProcessAnnotatedDeclaration(IRI n) {
IRI property = getResourceObject(n, OWL_ANNOTATED_PROPERTY, false);
if (property == null) {
return;
}
boolean rdfTypePredicate = property.equals(RDF_TYPE.getIRI());
if (!rdfTypePredicate) {
return;
}
IRI object = getResourceObject(n, OWL_ANNOTATED_TARGET, false);
if (object == null) {
return;
}
IRI subject = getResourceObject(n, OWL_ANNOTATED_SOURCE, false);
if (subject == null) {
return;
}
boolean isEntityType = isEntityTypeIRI(object);
if (isEntityType) {
// This will add and record the declaration for us
handlerAccessor.handle(subject, property, object);
}
}
/**
* Sets the ontology id.
*
* @param ontologyID the new ontology id
*/
protected void setOntologyID(OWLOntologyID ontologyID) {
ontology.applyChange(new SetOntologyID(ontology, ontologyID));
}
/**
* Adds the ontology annotation.
*
* @param annotation the annotation
*/
protected void addOntologyAnnotation(OWLAnnotation annotation) {
ontology.applyChange(new AddOntologyAnnotation(ontology, annotation));
}
/**
* Adds the import.
*
* @param declaration the declaration
*/
protected void addImport(OWLImportsDeclaration declaration) {
ontology.applyChange(new AddImport(ontology, declaration));
}
/**
* Gets the last added axiom.
*
* @return the last added axiom
*/
@Nullable
public OWLAxiom getLastAddedAxiom() {
return lastAddedAxiom;
}
/**
* Checks if is individual.
*
* @param iri the iri
* @return true, if is individual
*/
protected boolean isIndividual(IRI iri) {
return individualIRIs.contains(iri);
}
/**
* Adds the rdf property.
*
* @param iri the iri
*/
protected void addRDFProperty(IRI iri) {
propertyIRIs.add(iri);
}
/**
* Checks if is rDF property.
*
* @param iri the iri
* @return true, if is rDF property
*/
protected boolean isRDFProperty(IRI iri) {
return propertyIRIs.contains(iri);
}
/**
* Adds the class expression.
*
* @param iri the iri
* @param explicitlyTyped the explicitly typed
*/
public void addClassExpression(IRI iri, boolean explicitlyTyped) {
updateGuesses(iri, OWLClass.class, explicitlyTyped);
addType(iri, classIRIs, explicitlyTyped);
}
private void updateGuesses(IRI iri, Class class1, boolean explicitlyTyped) {
if (explicitlyTyped && guessedDeclarations.containsKey(iri)) {
// if an explicitly typed declaration has been added and there was a
// guess for its type, replace it
// Do not replace all guesses, as these might be due to punning
guessedDeclarations.remove(iri, class1);
}
if (!explicitlyTyped) {
guessedDeclarations.put(iri, class1);
}
}
/**
* Checks if is class expression.
*
* @param iri the iri
* @return true, if is class expression
*/
public boolean isClassExpression(IRI iri) {
return classIRIs.contains(iri);
}
/**
* Adds the object property.
*
* @param iri the iri
* @param explicitlyTyped the explicitly typed
*/
public void addObjectProperty(IRI iri, boolean explicitlyTyped) {
updateGuesses(iri, OWLObjectProperty.class, explicitlyTyped);
addType(iri, objectPropertyIRIs, explicitlyTyped);
}
/**
* Adds the data property.
*
* @param iri the iri
* @param explicitlyTyped the explicitly typed
*/
public void addDataProperty(IRI iri, boolean explicitlyTyped) {
updateGuesses(iri, OWLDataProperty.class, explicitlyTyped);
addType(iri, dataPropertyIRIs, explicitlyTyped);
}
/**
* Adds the annotation property.
*
* @param iri the iri
* @param explicitlyTyped the explicitly typed
*/
protected void addAnnotationProperty(IRI iri, boolean explicitlyTyped) {
updateGuesses(iri, OWLAnnotationProperty.class, explicitlyTyped);
addType(iri, annPropertyIRIs, explicitlyTyped);
}
/**
* Adds the data range.
*
* @param iri the iri
* @param explicitlyTyped the explicitly typed
*/
public void addDataRange(IRI iri, boolean explicitlyTyped) {
updateGuesses(iri, OWLDataRange.class, explicitlyTyped);
addType(iri, dataRangeIRIs, explicitlyTyped);
}
/**
* Adds the owl named individual.
*
* @param iri the iri
* @param explicitlyTyped the explicitly type
*/
protected void addOWLNamedIndividual(IRI iri, boolean explicitlyTyped) {
updateGuesses(iri, OWLNamedIndividual.class, explicitlyTyped);
addType(iri, individualIRIs, explicitlyTyped);
}
/**
* Adds the owl restriction.
*
* @param iri the iri
* @param explicitlyTyped the explicitly typed
*/
protected void addOWLRestriction(IRI iri, boolean explicitlyTyped) {
updateGuesses(iri, OWLClassExpression.class, explicitlyTyped);
addType(iri, restrictionIRIs, explicitlyTyped);
}
private void addType(IRI iri, Set types, boolean explicitlyTyped) {
if (configuration.isStrict() && !explicitlyTyped) {
LOGGER.warn("STRICT: Not adding implicit type iri={} types={}", iri, types);
return;
}
types.add(iri);
}
/**
* Checks if is restriction.
*
* @param iri the iri
* @return true, if is restriction
*/
public boolean isRestriction(IRI iri) {
return restrictionIRIs.contains(iri);
}
/**
* Adds the annotation iri.
*
* @param iri the iri
*/
protected void addAnnotationIRI(IRI iri) {
annotationIRIs.add(iri);
}
/**
* Checks if is annotation.
*
* @param iri the iri
* @return true, if is annotation
*/
protected boolean isAnnotation(IRI iri) {
return annotationIRIs.contains(iri);
}
/**
* Determines if a given IRI is currently an object property IRI and not a data property IRI and
* not an annotation property IRI. Note that this method is only guaranteed to return the same
* value once all triples in the imports closure of the RDF graph being parsed have been parsed.
*
* @param iri The IRI to check.
* @return {@code true} if the IRI is an object property IRI and not a data property IRI and not
* an annotation property IRI. Otherwise, {@code false}.
*/
protected boolean isObjectPropertyOnly(@Nullable IRI iri) {
return iri != null && !dataPropertyIRIs.contains(iri) && !annPropertyIRIs.contains(iri)
&& objectPropertyIRIs.contains(iri);
}
/**
* Checks if is object property.
*
* @param iri the iri
* @return true, if is object property
*/
protected boolean isObjectProperty(IRI iri) {
return objectPropertyIRIs.contains(iri);
}
/**
* Determines if a given IRI is currently a data property IRI and not an object property IRI and
* not an annotation property IRI. Note that this method is only guaranteed to return the same
* value once all triples in the imports closure of the RDF graph being parsed have been parsed.
*
* @param iri The IRI to check.
* @return {@code true} if the IRI is a data property IRI and not an object property IRI and not
* an annotation property IRI. Otherwise, {@code false}.
*/
protected boolean isDataPropertyOnly(@Nullable IRI iri) {
return iri != null && !objectPropertyIRIs.contains(iri) && !annPropertyIRIs.contains(iri)
&& dataPropertyIRIs.contains(iri);
}
/**
* Checks if is data property.
*
* @param iri the iri
* @return true, if is data property
*/
protected boolean isDataProperty(IRI iri) {
return dataPropertyIRIs.contains(iri);
}
/**
* Determines if a given IRI is currently an annotation property IRI and not a data property IRI
* and not an object property IRI. Note that this method is only guaranteed to return the same
* value once all triples in the imports closure of the RDF graph being parsed have been parsed.
*
* @param iri The IRI to check.
* @return {@code true} if the IRI is an annotation property IRI and not a data property IRI and
* not an object property IRI. Otherwise, {@code false}.
*/
protected boolean isAnnotationPropertyOnly(IRI iri) {
checkNotNull(iri);
return !objectPropertyIRIs.contains(iri) && !dataPropertyIRIs.contains(iri)
&& annPropertyIRIs.contains(iri);
}
/**
* Checks if is annotation property.
*
* @param iri the iri
* @return true, if is annotation property
*/
protected boolean isAnnotationProperty(IRI iri) {
return annPropertyIRIs.contains(iri);
}
/**
* Checks if is ontology.
*
* @param iri the iri
* @return true, if is ontology
*/
protected boolean isOntology(IRI iri) {
return ontologyIRIs.contains(iri);
}
/**
* Gets the oWL ontology manager.
*
* @return the oWL ontology manager
*/
public OWLOntologyManager getOWLOntologyManager() {
return ontology.getOWLOntologyManager();
}
// Helper methods for creating entities
/**
* Records an annotation of an anonymous node (either an annotation of an annotation, or an
* annotation of an axiom for example).
*
* @param annotatedAnonSource The source that the annotation annotates
* @param annotationMainNode The annotations
*/
public void addAnnotatedSource(IRI annotatedAnonSource, IRI annotationMainNode) {
annotatedAnonSource2AnnotationMap
.computeIfAbsent(annotatedAnonSource, x -> createLinkedSet())
.add(annotationMainNode);
}
/**
* Gets the main nodes of annotations that annotated the specified source.
*
* @param source The source (axiom or annotation main node)
* @return The set of main nodes that annotate the specified source
*/
public Set getAnnotatedSourceAnnotationMainNodes(IRI source) {
return annotatedAnonSource2AnnotationMap.getOrDefault(source, Collections.emptySet());
}
/**
* Gets the oWL class.
*
* @param iri the iri
* @return the oWL class
*/
protected OWLClass getOWLClass(IRI iri) {
return df.getOWLClass(iri);
}
/**
* Gets the oWL object property.
*
* @param iri the iri
* @return the oWL object property
*/
protected OWLObjectProperty getOWLObjectProperty(IRI iri) {
return df.getOWLObjectProperty(iri);
}
/**
* Gets the oWL data property.
*
* @param iri the iri
* @return the oWL data property
*/
protected OWLDataProperty getOWLDataProperty(IRI iri) {
return df.getOWLDataProperty(iri);
}
/**
* Gets the oWL individual.
*
* @param iri the iri
* @return the oWL individual
*/
protected OWLIndividual getOWLIndividual(IRI iri) {
if (isAnonymousNode(iri)) {
return getOWLAnonymousIndividual(iri.toString());
} else {
return df.getOWLNamedIndividual(iri);
}
}
@Override
public OWLAnonymousIndividual getOWLAnonymousIndividual(String nodeId) {
return anonProvider.getOWLAnonymousIndividual(nodeId);
}
// SWRL Stuff
/**
* Consume triple.
*
* @param subject the subject
* @param predicate the predicate
* @param object the object
*/
protected void consumeTriple(IRI subject, IRI predicate, IRI object) {
LOGGER.trace("consuming triple");
tripleLogger.justLog(subject, predicate, object);
isTriplePresent(subject, predicate, object, true);
}
/**
* Consume triple.
*
* @param subject the subject
* @param predicate the predicate
* @param con the con
*/
protected void consumeTriple(IRI subject, IRI predicate, OWLLiteral con) {
LOGGER.trace("consuming triple");
tripleLogger.justLog(subject, predicate, con);
isTriplePresent(subject, predicate, con, true);
}
protected boolean contains(Map>> map, IRI subject,
IRI predicate, T value) {
Map> resPredObjMap = map.get(subject);
if (resPredObjMap != null) {
Collection collection = resPredObjMap.get(predicate);
if (collection != null) {
return collection.contains(value);
}
}
return false;
}
/**
* Adds the swrl rule.
*
* @param iri the iri
*/
protected void addSWRLRule(IRI iri) {
swrlRules.add(iri);
}
/**
* Checks if is sWRL rule.
*
* @param iri the iri
* @return true, if is sWRL rule
*/
protected boolean isSWRLRule(IRI iri) {
return swrlRules.contains(iri);
}
/**
* Adds the swrl individual property atom.
*
* @param iri the iri
*/
protected void addSWRLIndividualPropertyAtom(IRI iri) {
swrlIndividualPropertyAtoms.add(iri);
}
/**
* Checks if is sWRL individual property atom.
*
* @param iri the iri
* @return true, if is sWRL individual property atom
*/
protected boolean isSWRLIndividualPropertyAtom(IRI iri) {
return swrlIndividualPropertyAtoms.contains(iri);
}
/**
* Adds the swrl data property atom.
*
* @param iri the iri
*/
protected void addSWRLDataPropertyAtom(IRI iri) {
swrlDataValuedPropertyAtoms.add(iri);
}
/**
* Checks if is sWRL data valued property atom.
*
* @param iri the iri
* @return true, if is sWRL data valued property atom
*/
protected boolean isSWRLDataValuedPropertyAtom(IRI iri) {
return swrlDataValuedPropertyAtoms.contains(iri);
}
/**
* Adds the swrl class atom.
*
* @param iri the iri
*/
protected void addSWRLClassAtom(IRI iri) {
swrlClassAtoms.add(iri);
}
/**
* Checks if is sWRL class atom.
*
* @param iri the iri
* @return true, if is sWRL class atom
*/
protected boolean isSWRLClassAtom(IRI iri) {
return swrlClassAtoms.contains(iri);
}
/**
* Adds the swrl same as atom.
*
* @param iri the iri
*/
protected void addSWRLSameAsAtom(IRI iri) {
swrlSameAsAtoms.add(iri);
}
/**
* Checks if is sWRL same as atom.
*
* @param iri the iri
* @return true, if is sWRL same as atom
*/
protected boolean isSWRLSameAsAtom(IRI iri) {
return swrlSameAsAtoms.contains(iri);
}
/**
* Adds the swrl different from atom.
*
* @param iri the iri
*/
protected void addSWRLDifferentFromAtom(IRI iri) {
swrlDifferentFromAtoms.add(iri);
}
/**
* Checks if is sWRL different from atom.
*
* @param iri the iri
* @return true, if is sWRL different from atom
*/
protected boolean isSWRLDifferentFromAtom(IRI iri) {
return swrlDifferentFromAtoms.contains(iri);
}
/**
* Adds the swrl data range atom.
*
* @param iri the iri
*/
protected void addSWRLDataRangeAtom(IRI iri) {
swrlDataRangeAtoms.add(iri);
}
/**
* Checks if is sWRL data range atom.
*
* @param iri the iri
* @return true, if is sWRL data range atom
*/
protected boolean isSWRLDataRangeAtom(IRI iri) {
return swrlDataRangeAtoms.contains(iri);
}
/**
* Adds the swrl built in atom.
*
* @param iri the iri
*/
protected void addSWRLBuiltInAtom(IRI iri) {
swrlBuiltInAtoms.add(iri);
}
/**
* Checks if is sWRL built in atom.
*
* @param iri the iri
* @return true, if is sWRL built in atom
*/
protected boolean isSWRLBuiltInAtom(IRI iri) {
return swrlBuiltInAtoms.contains(iri);
}
/**
* Adds the swrl variable.
*
* @param iri the iri
*/
protected void addSWRLVariable(IRI iri) {
swrlVariables.add(iri);
}
/**
* Checks if is sWRL variable.
*
* @param iri the iri
* @return true, if is sWRL variable
*/
protected boolean isSWRLVariable(IRI iri) {
return swrlVariables.contains(iri);
}
/**
* Dump remaining triples.
*/
protected void dumpRemainingTriples() {
// if info logging is disabled or all collections are empty, do not
// output anything
if (LOGGER.isInfoEnabled() && singleValuedResTriplesByPredicate.size()
+ singleValuedLitTriplesByPredicate.size() + resTriplesBySubject.size()
+ litTriplesBySubject.size() > 0) {
singleValuedResTriplesByPredicate
.forEach((p, map) -> map.forEach((s, o) -> printTriple(s, p, o)));
singleValuedLitTriplesByPredicate
.forEach((p, map) -> map.forEach((s, o) -> printTriple(s, p, o)));
resTriplesBySubject.forEach((p, map) -> map
.forEach((s, o) -> o.forEach(x -> printTriple(s, p, x))));
litTriplesBySubject.forEach((p, map) -> map
.forEach((s, o) -> o.forEach(x -> printTriple(s, p, x))));
}
}
@Override
public void startModel(IRI physicalURI) {
// nothing to do here
}
/**
* Checks if is parsed all triples.
*
* @return true, if is parsed all triples
*/
public boolean isParsedAllTriples() {
return parsedAllTriples;
}
@Override
public void endModel() {
parsedAllTriples = true;
// We are now left with triples that could not be consumed during
// streaming parsing
IRIMap.clear();
tripleLogger.logNumberOfTriples();
translatorAccessor.consumeSWRLRules(swrlRules);
Set remainingTriples = handlerAccessor.mopUp();
if (ontologyFormat != null) {
RDFParserMetaData metaData = new RDFParserMetaData(
RDFOntologyHeaderStatus.PARSED_ONE_HEADER, tripleLogger.count(),
remainingTriples, guessedDeclarations);
getOntologyFormat().setOntologyLoaderMetaData(metaData);
}
// Do we need to change the ontology IRI?
chooseAndSetOntologyIRI();
TripleLogger.logOntologyID(ontology.getOntologyID());
dumpRemainingTriples();
cleanup();
addAnnotationAxioms();
removeAxiomsScheduledForRemoval();
}
private void addAnnotationAxioms() {
ontology.add(parsedAnnotationAxioms);
}
private void removeAxiomsScheduledForRemoval() {
ontology.remove(axiomsToBeRemoved);
}
/**
* Selects an IRI that should be used as the IRI of the parsed ontology, or {@code null} if the
* parsed ontology does not have an IRI
*/
private void chooseAndSetOntologyIRI() {
Optional ontologyIRIToSet = emptyOptional();
if (firstOntologyIRI != null) {
List annotationsForOntology =
asList(ontology.annotationAssertionAxioms(firstOntologyIRI));
for (OWLAnnotationAssertionAxiom ax : annotationsForOntology) {
addOntologyAnnotation(ax.getAnnotation());
if (ax.annotations().count() == 0) {
// axioms with annotations must be preserved,
// axioms without annotations do not need to be preserved
// (they exist because of triple ordering in ontology
// declaration and annotation)
ontology.remove(ax);
}
}
Collection annotationsParsed =
new ArrayList<>(parsedAnnotationAxioms);
for (OWLAnnotationAxiom ax : annotationsParsed) {
if (ax instanceof OWLAnnotationAssertionAxiom && ((OWLAnnotationAssertionAxiom) ax)
.getSubject().equals(firstOntologyIRI)) {
addOntologyAnnotation(((OWLAnnotationAssertionAxiom) ax).getAnnotation());
if (ax.annotations().count() == 0) {
// axioms with annotations must be preserved,
// axioms without annotations do not need to be
// preserved
// (they exist because of triple ordering in ontology
// declaration and annotation)
parsedAnnotationAxioms.remove(ax);
}
}
}
}
if (ontologyIRIs.isEmpty()) {
// No ontology IRIs
// We used to use the xml:base here. But this is probably incorrect
// for OWL 2 now.
} else if (ontologyIRIs.size() == 1) {
// Exactly one ontologyIRI
IRI ontologyIRI = ontologyIRIs.iterator().next();
if (!isAnonymousNode(ontologyIRI)) {
ontologyIRIToSet = optional(ontologyIRI);
}
} else {
// We have multiple to choose from
// Choose one that isn't the object of an annotation assertion
Set candidateIRIs = createSet(ontologyIRIs);
ontology.annotations().forEach(a -> a.getValue().asIRI().ifPresent(iri -> {
if (ontologyIRIs.contains(iri)) {
candidateIRIs.remove(iri);
}
}));
// Choose the first one parsed
if (candidateIRIs.contains(firstOntologyIRI)) {
ontologyIRIToSet = optional(firstOntologyIRI);
} else if (!candidateIRIs.isEmpty()) {
// Just pick any
ontologyIRIToSet = optional(candidateIRIs.iterator().next());
}
}
if (ontologyIRIToSet.isPresent() && !NodeID.isAnonymousNodeIRI(ontologyIRIToSet.get())) {
Optional versionIRI = ontology.getOntologyID().getVersionIRI();
OWLOntologyID ontologyID = new OWLOntologyID(ontologyIRIToSet, versionIRI);
ontology.applyChange(new SetOntologyID(ontology, ontologyID));
}
}
private void cleanup() {
classIRIs.clear();
objectPropertyIRIs.clear();
dataPropertyIRIs.clear();
dataRangeIRIs.clear();
restrictionIRIs.clear();
listFirstLiteralTripleMap.clear();
listFirstResourceTripleMap.clear();
listRestTripleMap.clear();
// XXX clean new members
translatorAccessor.cleanup();
resTriplesBySubject.clear();
litTriplesBySubject.clear();
singleValuedLitTriplesByPredicate.clear();
singleValuedResTriplesByPredicate.clear();
guessedDeclarations.clear();
}
@Override
public void includeModel(@Nullable String logicalURI, @Nullable String physicalURI) {
// XXX should this do nothing?
}
@Override
public void logicalURI(IRI logicalURI) {
// XXX what is the purpose of this?
}
/**
* Gets the synonym.
*
* @param original the original
* @return the synonym
*/
protected IRI getSynonym(IRI original) {
if (!configuration.isStrict()) {
IRI synonymIRI = synonymMap.get(original);
if (synonymIRI != null) {
return synonymIRI;
}
}
return original;
}
@Override
public void statementWithLiteralValue(String subject, String predicate, String object,
@Nullable String language, @Nullable String datatype) {
tripleLogger.logTriple(subject, predicate, object, language, datatype);
IRI subjectIRI = getIRI(remapOnlyIfRemapped(subject));
IRI predicateIRI = getIRI(predicate);
predicateIRI = getSynonym(predicateIRI);
handlerAccessor.handleStreaming(subjectIRI, predicateIRI, object,
datatype == null ? null : getIRI(datatype), language);
}
@Override
public void statementWithLiteralValue(IRI subject, IRI predicate, String object,
@Nullable String language, @Nullable IRI datatype) {
tripleLogger.logTriple(subject, predicate, object, language, datatype);
handlerAccessor.handleStreaming(subject, getSynonym(predicate), object, datatype, language);
}
@Override
public void statementWithResourceValue(String subject, String predicate, String object) {
tripleLogger.logTriple(subject, predicate, object);
IRI subjectIRI = getIRI(subject);
IRI predicateIRI = getSynonym(getIRI(predicate));
IRI objectIRI = getSynonym(getIRI(object));
handlerAccessor.handleStreaming(subjectIRI, predicateIRI, objectIRI);
}
@Override
public void statementWithResourceValue(IRI subject, IRI predicate, IRI object) {
tripleLogger.logTriple(subject, predicate, object);
handlerAccessor.handleStreaming(subject, getSynonym(predicate), getSynonym(object));
}
/**
* A convenience method to obtain an {@code OWLLiteral}.
*
* @param literal The literal
* @param datatype The data type
* @param lang The lang
* @return The {@code OWLLiteral} (either typed or untyped depending on the params)
*/
OWLLiteral getOWLLiteral(String literal, @Nullable IRI datatype, @Nullable String lang) {
if (lang != null && !lang.trim().isEmpty()) {
return df.getOWLLiteral(literal, lang);
} else if (datatype != null) {
return df.getOWLLiteral(literal, df.getOWLDatatype(datatype));
} else {
return df.getOWLLiteral(literal);
}
}
/**
* compatibility proxy for TranslatorAccessor#translateClassExpression
*
* @param i iri fr the class expression
* @return translated class expression
*/
public OWLClassExpression translateClassExpression(IRI i) {
return translatorAccessor.translateClassExpression(i);
}
/**
* Given a main node, translated data ranges according to Table 12.
*
* @param n The main node
* @return The translated data range. If the data range could not be translated then an
* OWLDatatype with the given IRI is returned.
*/
public OWLDataRange translateDataRange(IRI n) {
if (!isDataRange(n) && configuration.isStrict()) {
// Can't translated ANY according to Table 12
return generateAndLogParseError(EntityType.DATATYPE, n);
}
if (!isAnonymousNode(n) && isDataRange(n)) {
return df.getOWLDatatype(n);
}
IRI and = getResourceObject(n, OWL_INTERSECTION_OF, true);
if (and != null) {
return df.getOWLDataIntersectionOf(translatorAccessor.translateToDataRangeSet(and));
}
IRI or = getResourceObject(n, OWL_UNION_OF, true);
if (or != null) {
return df.getOWLDataUnionOf(translatorAccessor.translateToDataRangeSet(or));
}
// The plain complement of triple predicate is in here for legacy
// reasons
IRI not = getResourceObject(n, OWL_DATATYPE_COMPLEMENT_OF, true);
if (!configuration.isStrict() && not == null) {
not = getResourceObject(n, OWL_COMPLEMENT_OF, true);
}
if (not != null) {
return df.getOWLDataComplementOf(translateDataRange(not));
}
IRI oneOfObject = getResourceObject(n, OWL_ONE_OF, true);
if (oneOfObject != null) {
return df.getOWLDataOneOf(translatorAccessor.translateToConstantSet(oneOfObject));
}
IRI onDt = getResourceObject(n, OWL_ON_DATA_TYPE, true);
if (onDt != null) {
if (isAnonymousNode(onDt)) {
// TODO LOG ERROR
return df.getOWLDatatype(n);
}
OWLDatatype dt = (OWLDatatype) translateDataRange(onDt);
// Now we have to get the restricted facets - there is some legacy
// translation code here... the current
// spec uses a list of triples where the predicate is a facet and
// the object a literal that is restricted
// by the facet. Originally, there just used to be multiple
// facet-"facet value" triples
Set restrictions = createLinkedSet();
IRI facets = getResourceObject(n, OWL_WITH_RESTRICTIONS, true);
if (facets != null) {
restrictions = translatorAccessor.translateToFacetRestrictionSet(facets);
} else if (!configuration.isStrict()) {
// Try the legacy encoding
for (IRI facetIRI : OWLFacet.getFacetIRIs()) {
OWLLiteral val = getLiteralObject(n, facetIRI, true);
while (val != null) {
restrictions.add(df.getOWLFacetRestriction(OWLFacet.getFacet(facetIRI),
val));
val = getLiteralObject(n, facetIRI, true);
}
}
}
return df.getOWLDatatypeRestriction(dt, restrictions);
}
// Could not translated ANYTHING!
return generateAndLogParseError(EntityType.DATATYPE, n);
}
// Basic node translation - translation of entities
/**
* Translate data property expression.
*
* @param iri the iri
* @return the oWL data property expression
*/
public OWLDataPropertyExpression translateDataPropertyExpression(IRI iri) {
return df.getOWLDataProperty(iri);
}
/**
* Translate object property expression.
*
* @param mainNode the main node
* @return the oWL object property expression
*/
public OWLObjectPropertyExpression translateObjectPropertyExpression(IRI mainNode) {
OWLObjectPropertyExpression prop = translatedProperties.get(mainNode);
if (prop != null) {
return prop;
}
if (!isAnonymousNode(mainNode)) {
// Simple object property
prop = df.getOWLObjectProperty(mainNode);
translatedProperties.put(mainNode, prop);
return prop;
}
// Inverse of a property expression
IRI inverseOfObject = getResourceObject(mainNode, OWL_INVERSE_OF, true);
if (inverseOfObject != null) {
OWLObjectPropertyExpression otherProperty =
translateObjectPropertyExpression(inverseOfObject);
if (otherProperty.isAnonymous()) {
throw new OWLRuntimeException(
"Found nested object property expression but only object property allowed in inverseOf construct");
}
prop = df.getOWLObjectInverseOf(otherProperty.asOWLObjectProperty());
} else {
prop = df.getOWLObjectInverseOf(df.getOWLObjectProperty(mainNode));
}
objectPropertyIRIs.add(mainNode);
translatedProperties.put(mainNode, prop);
return prop;
}
/**
* Translate individual.
*
* @param node the node
* @return the oWL individual
*/
public OWLIndividual translateIndividual(IRI node) {
return getOWLIndividual(node);
}
/**
* Translates the annotation on a main node. Triples whose subject is the specified main node
* and whose subject is typed an an annotation property (or is a built in annotation property)
* will be translated to annotation on this main node.
*
* @param n The main node
* @return The set of annotations on the main node
*/
public Set translateAnnotations(IRI n) {
// Are we the subject of an annotation? If so, we need to ensure that
// the annotations annotate us. This
// will only happen if we are an annotation!
Map> anns = createMap();
getAnnotatedSourceAnnotationMainNodes(n)
.forEach(node -> anns.put(node, translateAnnotations(node)));
Set nodeAnns = createLinkedSet();
getPredicatesBySubject(n).stream().filter(this::isAnnotationProperty)
.forEach(p -> mapAnnotation(n, anns, nodeAnns, p));
return nodeAnns;
}
protected void mapAnnotation(IRI n, Map> anns,
Set nodeAnns, IRI p) {
OWLAnnotationProperty ap = df.getOWLAnnotationProperty(p);
IRI resVal = getResourceObject(n, p, true);
while (resVal != null) {
IRI annotation = getSubjectForAnnotatedPropertyAndObject(n, p, resVal);
OWLAnnotationValue val = getAnnotationValue(resVal);
nodeAnns.add(df.getOWLAnnotation(ap, val,
anns.getOrDefault(annotation, Collections.emptyList())));
resVal = getResourceObject(n, p, true);
}
OWLLiteral litVal = getLiteralObject(n, p, true);
while (litVal != null) {
IRI annotation = getSubjectForAnnotatedPropertyAndObject(n, p, litVal);
nodeAnns.add(df.getOWLAnnotation(ap, litVal,
anns.getOrDefault(annotation, Collections.emptyList())));
litVal = getLiteralObject(n, p, true);
}
}
@Nullable
private IRI getSubjectForAnnotatedPropertyAndObject(IRI n, IRI p, OWLLiteral v) {
return getAnnotatedSourceAnnotationMainNodes(n).stream().filter(
i -> p.equals(getResourceObject(i, OWL_ANNOTATED_PROPERTY, false)) && v
.equals(getLiteralObject(i, OWL_ANNOTATED_TARGET, false)))
.findAny().orElse(null);
}
@Nullable
private IRI getSubjectForAnnotatedPropertyAndObject(IRI n, IRI p, IRI v) {
return getAnnotatedSourceAnnotationMainNodes(n).stream().filter(
i -> p.equals(getResourceObject(i, OWL_ANNOTATED_PROPERTY, false)) && v
.equals(getResourceObject(i, OWL_ANNOTATED_TARGET, false)))
.findAny().orElse(null);
}
private OWLAnnotationValue getAnnotationValue(IRI resVal) {
OWLAnnotationValue val;
if (isAnonymousNode(resVal)) {
val = df.getOWLAnonymousIndividual(resVal.toString());
} else {
val = resVal;
}
return val;
}
private E getErrorEntity(EntityType entityType) {
IRI iri = IRI.create("http://org.semanticweb.owlapi/error#",
"Error" + ERRORCOUNTER.incrementAndGet());
LOGGER.error("Entity not properly recognized, missing triples in input? {} for type {}",
iri, entityType);
if (configuration.isStrict()) {
throw new OWLParserException(
"Entity not properly recognized, missing triples in input? " + iri
+ " for type " + entityType);
}
return df.getOWLEntity(entityType, iri);
}
private RDFResource getRDFResource(IRI iri) {
if (isAnonymousNode(iri)) {
return new RDFResourceBlankNode(iri, false, false, isAxiomIRI(iri));
}
return new RDFResourceIRI(iri);
}
private RDFTriple getRDFTriple(IRI subject, IRI predicate, IRI object) {
return new RDFTriple(getRDFResource(subject), new RDFResourceIRI(predicate),
getRDFResource(object));
}
private RDFTriple getRDFTriple(IRI subject, IRI predicate, OWLLiteral object) {
return new RDFTriple(getRDFResource(subject), new RDFResourceIRI(predicate),
new RDFLiteral(object));
}
private Set getTriplesForMainNode(IRI n, IRI... augmentingTypes) {
Set triples = createLinkedSet();
getPredicatesBySubject(n).forEach(p -> {
getResourceObjects(n, p).forEach(o -> triples.add(getRDFTriple(n, p, o)));
getLiteralObjects(n, p).forEach(object -> triples.add(getRDFTriple(n, p, object)));
});
Stream.of(augmentingTypes).forEach(t -> triples.add(getRDFTriple(n, RDF_TYPE.getIRI(), t)));
return triples;
}
private void logError(RDFResourceParseError error) {
getOntologyFormat().addError(error);
}
/**
* @param entityType entity type
* @param mainNode main node
* @param entity type
* @return error entity
*/
public E generateAndLogParseError(EntityType entityType,
IRI mainNode) {
E entity = getErrorEntity(entityType);
RDFResource mainNodeResource = getRDFResource(mainNode);
Set mainNodeTriples = getTriplesForMainNode(mainNode);
RDFResourceParseError error =
new RDFResourceParseError(entity, mainNodeResource, mainNodeTriples);
logError(error);
return entity;
}
/**
* Gets the predicates by subject.
*
* @param subject the subject
* @return the predicates by subject
*/
protected Set getPredicatesBySubject(IRI subject) {
Set iris = createLinkedSet();
Map> predObjMap = resTriplesBySubject.get(subject);
if (predObjMap != null) {
iris.addAll(predObjMap.keySet());
}
Map> predObjMapLit = litTriplesBySubject.get(subject);
if (predObjMapLit != null) {
iris.addAll(predObjMapLit.keySet());
}
return iris;
}
/**
* Gets the resource object.
*
* @param subject the subject
* @param predicate the predicate
* @param consume the consume
* @return the resource object
*/
@Nullable
protected IRI getResourceObject(IRI subject, OWLRDFVocabulary predicate, boolean consume) {
return getResourceObject(subject, predicate.getIRI(), consume);
}
/**
* Gets the resource object.
*
* @param subject the subject
* @param predicate the predicate
* @param consume the consume
* @return the resource object
*/
@Nullable
protected IRI getResourceObject(IRI subject, IRI predicate, boolean consume) {
Map subjPredMap = singleValuedResTriplesByPredicate.get(predicate);
if (subjPredMap != null) {
IRI obj = subjPredMap.get(subject);
if (consume) {
subjPredMap.remove(subject);
}
return obj;
}
Map> predObjMap = resTriplesBySubject.get(subject);
if (predObjMap != null) {
Collection objects = predObjMap.get(predicate);
if (objects != null && !objects.isEmpty()) {
IRI object = objects.iterator().next();
if (consume) {
objects.remove(object);
}
if (objects.isEmpty()) {
predObjMap.remove(predicate);
if (predObjMap.isEmpty()) {
resTriplesBySubject.remove(subject);
}
}
return object;
}
}
return null;
}
/**
* Gets the resource objects.
*
* @param subject the subject
* @param predicate the predicate
* @return the resource objects
*/
protected Set getResourceObjects(IRI subject, IRI predicate) {
Set result = createLinkedSet();
Map subjPredMap = singleValuedResTriplesByPredicate.get(predicate);
if (subjPredMap != null) {
IRI obj = subjPredMap.get(subject);
if (obj != null) {
result.add(obj);
}
}
Map> predObjMap = resTriplesBySubject.get(subject);
if (predObjMap != null) {
Collection objects = predObjMap.get(predicate);
if (objects != null) {
result.addAll(objects);
}
}
return result;
}
/**
* Gets the literal object.
*
* @param subject the subject
* @param predicate the predicate
* @param consume the consume
* @return the literal object
*/
@Nullable
protected OWLLiteral getLiteralObject(IRI subject, OWLRDFVocabulary predicate,
boolean consume) {
return getLiteralObject(subject, predicate.getIRI(), consume);
}
/**
* Gets the literal object.
*
* @param subject the subject
* @param predicate the predicate
* @param consume the consume
* @return the literal object
*/
@Nullable
protected OWLLiteral getLiteralObject(IRI subject, IRI predicate, boolean consume) {
Map subjPredMap = singleValuedLitTriplesByPredicate.get(predicate);
if (subjPredMap != null) {
OWLLiteral obj = subjPredMap.get(subject);
if (consume) {
subjPredMap.remove(subject);
}
return obj;
}
Map> predObjMap = litTriplesBySubject.get(subject);
if (predObjMap != null) {
Collection objects = predObjMap.get(predicate);
if (objects != null && !objects.isEmpty()) {
OWLLiteral object = objects.iterator().next();
if (consume) {
objects.remove(object);
}
if (objects.isEmpty()) {
predObjMap.remove(predicate);
}
return object;
}
}
return null;
}
/**
* Gets the literal objects.
*
* @param subject the subject
* @param predicate the predicate
* @return the literal objects
*/
protected Set getLiteralObjects(IRI subject, IRI predicate) {
Set result = createLinkedSet();
Map subjPredMap = singleValuedLitTriplesByPredicate.get(predicate);
if (subjPredMap != null) {
OWLLiteral obj = subjPredMap.get(subject);
if (obj != null) {
result.add(obj);
}
}
Map> predObjMap = litTriplesBySubject.get(subject);
if (predObjMap != null) {
Collection objects = predObjMap.get(predicate);
if (objects != null) {
result.addAll(objects);
}
}
return result;
}
/**
* Checks if is triple present.
*
* @param subject the subject
* @param predicate the predicate
* @param object the object
* @param consume the consume
* @return true, if is triple present
*/
protected boolean isTriplePresent(IRI subject, IRI predicate, IRI object, boolean consume) {
Map subjPredMap = singleValuedResTriplesByPredicate.get(predicate);
if (subjPredMap != null) {
IRI obj = subjPredMap.get(subject);
if (consume) {
subjPredMap.remove(subject);
}
return obj != null;
}
Map> predObjMap = resTriplesBySubject.get(subject);
if (predObjMap != null) {
Collection objects = predObjMap.get(predicate);
if (objects != null && objects.contains(object)) {
if (consume) {
objects.remove(object);
if (objects.isEmpty()) {
predObjMap.remove(predicate);
if (predObjMap.isEmpty()) {
resTriplesBySubject.remove(subject);
}
}
}
return true;
}
}
return false;
}
/**
* Checks if is triple present.
*
* @param subject the subject
* @param predicate the predicate
* @param object the object
* @param consume the consume
* @return true, if is triple present
*/
protected boolean isTriplePresent(IRI subject, IRI predicate, OWLLiteral object,
boolean consume) {
Map subjPredMap = singleValuedLitTriplesByPredicate.get(predicate);
if (subjPredMap != null) {
OWLLiteral obj = subjPredMap.get(subject);
if (consume) {
subjPredMap.remove(subject);
}
return obj != null;
}
Map> predObjMap = litTriplesBySubject.get(subject);
if (predObjMap != null) {
Collection objects = predObjMap.get(predicate);
if (objects != null && objects.contains(object)) {
if (consume) {
objects.remove(object);
if (objects.isEmpty()) {
predObjMap.remove(predicate);
if (predObjMap.isEmpty()) {
litTriplesBySubject.remove(subject);
}
}
}
return true;
}
}
return false;
}
/**
* Checks for predicate.
*
* @param subject the subject
* @param predicate the predicate
* @return true, if successful
*/
protected boolean hasPredicate(IRI subject, IRI predicate) {
Map resPredMap = singleValuedResTriplesByPredicate.get(predicate);
if (resPredMap != null) {
return resPredMap.containsKey(subject);
}
Map litPredMap = singleValuedLitTriplesByPredicate.get(predicate);
if (litPredMap != null) {
return litPredMap.containsKey(subject);
}
Map> resPredObjMap = resTriplesBySubject.get(subject);
if (resPredObjMap != null && resPredObjMap.containsKey(predicate)) {
return true;
}
Map> litPredObjMap = litTriplesBySubject.get(subject);
if (litPredObjMap != null) {
return litPredObjMap.containsKey(predicate);
}
return false;
}
/**
* Adds the rest.
*
* @param subject the subject
* @param object the object
*/
protected void addRest(IRI subject, IRI object) {
listRestTripleMap.put(subject, object);
}
/**
* Adds the first.
*
* @param subject the subject
* @param object the object
*/
protected void addFirst(IRI subject, IRI object) {
listFirstResourceTripleMap.put(subject, object);
}
/**
* Gets the first resource.
*
* @param subject the subject
* @param consume the consume
* @return the first resource
*/
@Nullable
protected IRI getFirstResource(IRI subject, boolean consume) {
if (consume) {
return listFirstResourceTripleMap.remove(subject);
}
return listFirstResourceTripleMap.get(subject);
}
/**
* Gets the first literal.
*
* @param subject the subject
* @return the first literal
*/
@Nullable
protected OWLLiteral getFirstLiteral(IRI subject) {
return listFirstLiteralTripleMap.get(subject);
}
/**
* Gets the rest.
*
* @param subject the subject
* @param consume the consume
* @return the rest
*/
@Nullable
protected IRI getRest(IRI subject, boolean consume) {
if (consume) {
return listRestTripleMap.remove(subject);
}
return listRestTripleMap.get(subject);
}
/**
* Adds the first.
*
* @param subject the subject
* @param object the object
*/
protected void addFirst(IRI subject, OWLLiteral object) {
listFirstLiteralTripleMap.put(subject, object);
}
/**
* Adds the ontology.
*
* @param iri the iri
*/
protected void addOntology(IRI iri) {
if (ontologyIRIs.isEmpty()) {
firstOntologyIRI = iri;
}
ontologyIRIs.add(iri);
}
/**
* Gets the ontologies.
*
* @return the ontologies
*/
protected Set getOntologies() {
return ontologyIRIs;
}
/**
* Adds the axiom.
*
* @param axiomIRI the axiom iri
*/
protected void addAxiom(IRI axiomIRI) {
axioms.add(axiomIRI);
}
/**
* Checks if is axiom.
*
* @param iri the iri
* @return true, if is axiom
*/
protected boolean isAxiom(IRI iri) {
return axioms.contains(iri);
}
protected boolean isAxiomIRI(IRI s) {
return contains(resTriplesBySubject, s, OWLRDFVocabulary.RDF_TYPE.getIRI(),
OWLRDFVocabulary.OWL_AXIOM.getIRI());
}
/**
* Checks if is data range.
*
* @param iri the iri
* @return true, if is data range
*/
protected boolean isDataRange(IRI iri) {
return dataRangeIRIs.contains(iri);
}
@Override
public OWLOntologyLoaderConfiguration getConfiguration() {
return configuration;
}
// Triple Stuff
/**
* Iterate resource triples.
*
* @param iterator the iterator
*/
protected void iterateResources(ResourceTripleIterator iterator) {
new ArrayList<>(resTriplesBySubject.entrySet())
.forEach(e -> new ArrayList<>(e.getValue().entrySet())
.forEach(p -> new ArrayList<>(p.getValue()).forEach(
object -> iterator.handleResourceTriple(
e.getKey(), p.getKey(),
object))));
}
/**
* Iterate literal triples.
*
* @param iterator the iterator
*/
protected void iterateLiterals(LiteralTripleIterator iterator) {
new ArrayList<>(litTriplesBySubject.entrySet())
.forEach(e -> new ArrayList<>(e.getValue().entrySet())
.forEach(p -> new ArrayList<>(p.getValue()).forEach(
object -> iterator.handleLiteralTriple(
e.getKey(), p.getKey(),
object))));
}
@Override
public IRI remapIRI(IRI i) {
if (nodeCheckerDelegate.isAnonymousNode(i)) {
// blank nodes do not need to be remapped in this method
return i;
}
IRI computeIfAbsent =
remappedIRIs.computeIfAbsent(i, x -> IRI.create(NodeID.nextAnonymousIRI()));
remappedIRIStrings.put(i.toString(), computeIfAbsent);
return computeIfAbsent;
}
@Override
public String remapOnlyIfRemapped(String i) {
if (nodeCheckerDelegate.isAnonymousNode(i)
|| nodeCheckerDelegate.isAnonymousSharedNode(i)) {
// blank nodes do not need to be remapped in this method
return i;
}
IRI iri = remappedIRIStrings.get(i);
return iri == null ? i : iri.toString();
}
protected void addTriple(IRI subject, IRI predicate, IRI object) {
Map subjObjMap = singleValuedResTriplesByPredicate.get(predicate);
if (subjObjMap != null) {
subjObjMap.put(subject, object);
} else {
resTriplesBySubject.computeIfAbsent(subject, x -> createMap())
.computeIfAbsent(predicate, x -> createLinkedSet()).add(object);
}
}
protected void addTriple(IRI subject, IRI predicate, OWLLiteral con) {
Map subjObjMap = singleValuedLitTriplesByPredicate.get(predicate);
if (subjObjMap != null) {
subjObjMap.put(subject, con);
} else {
litTriplesBySubject.computeIfAbsent(subject, x -> createMap())
.computeIfAbsent(predicate, x -> createLinkedSet()).add(con);
}
}
}
