uk.ac.manchester.cs.owl.owlapi.OWLDataPropertyImpl 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 (C) 2011, 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.
*
* Copyright 2011, University of Manchester
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package uk.ac.manchester.cs.owl.owlapi;
import java.util.Collections;
import java.util.Set;
import org.semanticweb.owlapi.model.EntityType;
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.OWLAxiom;
import org.semanticweb.owlapi.model.OWLClass;
import org.semanticweb.owlapi.model.OWLDataProperty;
import org.semanticweb.owlapi.model.OWLDataPropertyExpression;
import org.semanticweb.owlapi.model.OWLDataRange;
import org.semanticweb.owlapi.model.OWLDatatype;
import org.semanticweb.owlapi.model.OWLEntity;
import org.semanticweb.owlapi.model.OWLEntityVisitor;
import org.semanticweb.owlapi.model.OWLEntityVisitorEx;
import org.semanticweb.owlapi.model.OWLNamedIndividual;
import org.semanticweb.owlapi.model.OWLNamedObjectVisitor;
import org.semanticweb.owlapi.model.OWLNaryPropertyAxiom;
import org.semanticweb.owlapi.model.OWLObject;
import org.semanticweb.owlapi.model.OWLObjectProperty;
import org.semanticweb.owlapi.model.OWLObjectVisitor;
import org.semanticweb.owlapi.model.OWLObjectVisitorEx;
import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapi.model.OWLPropertyDomainAxiom;
import org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor;
import org.semanticweb.owlapi.model.OWLPropertyExpressionVisitorEx;
import org.semanticweb.owlapi.model.OWLPropertyRangeAxiom;
import org.semanticweb.owlapi.model.OWLRuntimeException;
import org.semanticweb.owlapi.model.OWLSubPropertyAxiom;
import org.semanticweb.owlapi.vocab.OWLRDFVocabulary;
/**
* @author Matthew Horridge, The University Of Manchester, Bio-Health Informatics
* Group, Date: 26-Oct-2006
*/
public class OWLDataPropertyImpl extends
OWLPropertyExpressionImpl
implements OWLDataProperty {
private static final long serialVersionUID = 30406L;
private final IRI iri;
private final boolean builtin;
/**
* @param iri
* property iri
*/
public OWLDataPropertyImpl(IRI iri) {
super();
this.iri = iri;
builtin = iri.equals(OWLRDFVocabulary.OWL_TOP_DATA_PROPERTY.getIRI())
|| iri.equals(OWLRDFVocabulary.OWL_BOTTOM_DATA_PROPERTY
.getIRI());
}
@Override
public boolean isTopEntity() {
return isOWLTopDataProperty();
}
@Override
public boolean isBottomEntity() {
return isOWLBottomDataProperty();
}
@Override
public EntityType getEntityType() {
return EntityType.DATA_PROPERTY;
}
@Override
public E getOWLEntity(EntityType entityType) {
return getOWLEntity(entityType, iri);
}
@Override
public boolean isType(EntityType entityType) {
return getEntityType().equals(entityType);
}
@Override
public String toStringID() {
return iri.toString();
}
@Override
public boolean isDataPropertyExpression() {
return true;
}
@Override
public boolean isObjectPropertyExpression() {
return false;
}
@Override
public IRI getIRI() {
return iri;
}
@Override
public boolean isBuiltIn() {
return builtin;
}
@Override
public boolean isFunctional(OWLOntology ontology) {
return ontology.getFunctionalDataPropertyAxioms(this).size() > 0;
}
@Override
public boolean isFunctional(Set ontologies) {
for (OWLOntology ont : ontologies) {
if (isFunctional(ont)) {
return true;
}
}
return false;
}
@Override
protected Set>
getDisjointPropertiesAxioms(OWLOntology ontology) {
return ontology.getDisjointDataPropertiesAxioms(this);
}
@Override
protected Set> getDomainAxioms(
OWLOntology ontology) {
return ontology.getDataPropertyDomainAxioms(this);
}
@Override
protected
Set>
getRangeAxioms(OWLOntology ontology) {
return ontology.getDataPropertyRangeAxioms(this);
}
@Override
protected Set>
getSubPropertyAxioms(OWLOntology ontology) {
return ontology.getDataSubPropertyAxiomsForSubProperty(this);
}
@Override
protected Set>
getEquivalentPropertiesAxioms(OWLOntology ontology) {
return ontology.getEquivalentDataPropertiesAxioms(this);
}
@Override
protected Set>
getSubPropertyAxiomsForRHS(OWLOntology ont) {
return ont.getDataSubPropertyAxiomsForSuperProperty(this);
}
@Override
public boolean equals(Object obj) {
if (super.equals(obj)) {
if (!(obj instanceof OWLDataProperty)) {
return false;
}
IRI otherIRI = ((OWLDataProperty) obj).getIRI();
return otherIRI.equals(iri);
}
return false;
}
@Override
public Set getAnnotations(OWLOntology ontology) {
return ImplUtils.getAnnotations(this, Collections.singleton(ontology));
}
@Override
public Set getAnnotationAssertionAxioms(
OWLOntology ontology) {
return ImplUtils.getAnnotationAxioms(this,
Collections.singleton(ontology));
}
@Override
public Set getAnnotations(OWLOntology ontology,
OWLAnnotationProperty annotationProperty) {
return ImplUtils.getAnnotations(this, annotationProperty,
Collections.singleton(ontology));
}
@Override
public void accept(OWLEntityVisitor visitor) {
visitor.visit(this);
}
@Override
public void accept(OWLPropertyExpressionVisitor visitor) {
visitor.visit(this);
}
@Override
public void accept(OWLObjectVisitor visitor) {
visitor.visit(this);
}
@Override
public void accept(OWLNamedObjectVisitor visitor) {
visitor.visit(this);
}
@Override
public O accept(OWLEntityVisitorEx visitor) {
return visitor.visit(this);
}
@Override
public O accept(OWLPropertyExpressionVisitorEx visitor) {
return visitor.visit(this);
}
@Override
public O accept(OWLObjectVisitorEx visitor) {
return visitor.visit(this);
}
@Override
public boolean isAnonymous() {
return false;
}
@Override
public OWLDataProperty asOWLDataProperty() {
return this;
}
@Override
public OWLClass asOWLClass() {
throw new OWLRuntimeException("Not an OWLClass!");
}
@Override
public OWLDatatype asOWLDatatype() {
throw new OWLRuntimeException("Not an OWLDatatype!");
}
@Override
public OWLNamedIndividual asOWLNamedIndividual() {
throw new OWLRuntimeException("Not an OWLIndividual!");
}
@Override
public OWLObjectProperty asOWLObjectProperty() {
throw new OWLRuntimeException("Not an OWLObjectProperty!");
}
@Override
public boolean isOWLClass() {
return false;
}
@Override
public boolean isOWLDataProperty() {
return true;
}
@Override
public boolean isOWLDatatype() {
return false;
}
@Override
public boolean isOWLNamedIndividual() {
return false;
}
@Override
public boolean isOWLObjectProperty() {
return false;
}
@Override
public boolean isOWLTopObjectProperty() {
return false;
}
@Override
public boolean isOWLBottomObjectProperty() {
return false;
}
@Override
public boolean isOWLTopDataProperty() {
return iri.equals(OWLRDFVocabulary.OWL_TOP_DATA_PROPERTY.getIRI());
}
@Override
public boolean isOWLBottomDataProperty() {
return iri.equals(OWLRDFVocabulary.OWL_BOTTOM_DATA_PROPERTY.getIRI());
}
@Override
public OWLAnnotationProperty asOWLAnnotationProperty() {
throw new OWLRuntimeException("Not an annotation property");
}
@Override
public boolean isOWLAnnotationProperty() {
return false;
}
@Override
public Set getReferencingAxioms(OWLOntology ontology) {
return ontology.getReferencingAxioms(this);
}
@Override
public Set getReferencingAxioms(OWLOntology ontology,
boolean includeImports) {
return ontology.getReferencingAxioms(this, includeImports);
}
@Override
protected int compareObjectOfSameType(OWLObject object) {
return iri.compareTo(((OWLDataProperty) object).getIRI());
}
}