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.model;
import java.io.Serializable;
import java.util.HashSet;
import java.util.Map;
import java.util.Set;
import javax.annotation.Nonnull;
import org.semanticweb.owlapi.util.CollectionFactory;
import com.google.common.base.Function;
import com.google.common.collect.Iterables;
import com.google.common.collect.Maps;
import com.google.common.collect.Sets;
/**
* Represents the type of axioms which can belong to ontologies. Axioms can be
* retrieved from ontologies by their {@code AxiomType}. For example, see
* {@link org.semanticweb.owlapi.model.OWLOntology#getAxioms(AxiomType)} and
* {@link org.semanticweb.owlapi.model.OWLOntology#getAxiomCount(AxiomType, org.semanticweb.owlapi.model.parameters.Imports)}
* .
*
* @author Matthew Horridge, The University Of Manchester, Bio-Health
* Informatics Group
* @since 2.1.0
* @param
* axiom type
*/
@SuppressWarnings({ "unchecked" })
public final class AxiomType implements Serializable {
private static final long serialVersionUID = 40000L;
private final String name;
private final boolean owl2Axiom;
private final boolean nonSyntacticOWL2Axiom;
private final boolean isLogical;
private final int index;
private final Class actualClass;
private AxiomType(Class actualClass, int ind, String name,
boolean owl2Axiom, boolean nonSyntacticOWL2Axiom, boolean isLogical) {
this.actualClass = actualClass;
this.name = name;
this.owl2Axiom = owl2Axiom;
this.nonSyntacticOWL2Axiom = nonSyntacticOWL2Axiom;
this.isLogical = isLogical;
index = ind;
}
@Nonnull
private static AxiomType getInstance(Class c,
int i, String name, boolean owl2Axiom,
boolean nonSyntacticOWL2Axiom, boolean isLogical) {
return new AxiomType<>(c, i, name, owl2Axiom, nonSyntacticOWL2Axiom,
isLogical);
}
@Override
public String toString() {
return name;
}
/**
* @return the axiom interface corresponding to this type
*/
public Class getActualClass() {
return actualClass;
}
/**
* Determines if this axiom is structurally an OWL 2 axiom.
*
* @return {@code true} if this axiom is an OWL 2 axiom, {@code false} if
* this axiom is not an OWL 2 axiom and it can be represented using
* OWL 1.
*/
public boolean isOWL2Axiom() {
return owl2Axiom;
}
/**
* Some OWL 2 axioms, for example,
* {@link org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom}
* axioms are structurally OWL 2 axioms, but can be represented using OWL 1
* syntax. This method determines if this axiom type is a pure OWL 2 axiom
* and cannot be represented using OWL 1 syntax.
*
* @return {@code true} if this axiom is a pure OWL 2 axiom and cannot be
* represented using OWL 1 syntax, otherwise {@code false}.
*/
public boolean isNonSyntacticOWL2Axiom() {
return nonSyntacticOWL2Axiom;
}
/** @return index in the axiom type list */
public int getIndex() {
return index;
}
/** @return axiom type name */
public String getName() {
return name;
}
/**
* Determines if this axiom type is a logical axiom type.
*
* @return {@code true} if this axiom type is a logical axiom type,
* otherwise false;
*/
public boolean isLogical() {
return isLogical;
}
/**
* Gets the set of axioms from a source set of axioms that are not of the
* specified type
*
* @param sourceAxioms
* The source set of axioms
* @param axiomTypes
* The types that will be filtered out of the source set
* @return A set of axioms that represents the sourceAxioms without the
* specified types. Note that sourceAxioms will not be modified. The
* returned set is a copy.
*/
@Nonnull
public static Set getAxiomsWithoutTypes(
@Nonnull Set sourceAxioms,
@Nonnull AxiomType... axiomTypes) {
Set result = new HashSet<>();
Set> disallowed = Sets.newHashSet(axiomTypes);
for (OWLAxiom ax : sourceAxioms) {
if (!disallowed.contains(ax.getAxiomType())) {
result.add(ax);
}
}
return result;
}
/**
* Gets the set of axioms from a source set of axioms that have a specified
* type
*
* @param sourceAxioms
* The source set of axioms
* @param axiomTypes
* The types of axioms that will be returned
* @return A set of axioms that represents the sourceAxioms that have the
* specified types. Note that sourceAxioms will not be modified. The
* returned set is a copy.
*/
@Nonnull
public static Set getAxiomsOfTypes(
@Nonnull Set sourceAxioms,
@Nonnull AxiomType... axiomTypes) {
Set result = new HashSet<>();
Set> allowed = Sets.newHashSet(axiomTypes);
for (OWLAxiom ax : sourceAxioms) {
if (allowed.contains(ax.getAxiomType())) {
result.add(ax);
}
}
return result;
}
/**
* Gets an axiom type by its name
*
* @param name
* The name of the axiom type
* @return The axiom type with the specified name, or {@code null} if there
* is no such axiom type with the specified name
*/
public static AxiomType getAxiomType(String name) {
return NAME_TYPE_MAP.get(name);
}
/**
* Determines if there is an axiom type with the specified name
*
* @param _name
* The name to test for
* @return {@code true} if there is an axiom type with the specified name,
* or {@code false} if there is no axiom type with the specified
* name.
*/
public static boolean isAxiomType(String _name) {
return NAME_TYPE_MAP.containsKey(_name);
}
//@formatter:off
/** Declaration */ @Nonnull public static final AxiomType DECLARATION = getInstance(OWLDeclarationAxiom.class, 0, "Declaration", true, true, false);
/** EquivalentClasses */ @Nonnull public static final AxiomType EQUIVALENT_CLASSES = getInstance(OWLEquivalentClassesAxiom.class, 1, "EquivalentClasses", false, false, true);
/** SubClassOf */ @Nonnull public static final AxiomType SUBCLASS_OF = getInstance(OWLSubClassOfAxiom.class, 2, "SubClassOf", false, false, true);
/** DisjointClasses */ @Nonnull public static final AxiomType DISJOINT_CLASSES = getInstance(OWLDisjointClassesAxiom.class, 3, "DisjointClasses", false, false, true);
/** DisjointUnion */ @Nonnull public static final AxiomType DISJOINT_UNION = getInstance(OWLDisjointUnionAxiom.class, 4, "DisjointUnion", true, false, true);
/** ClassAssertion */ @Nonnull public static final AxiomType CLASS_ASSERTION = getInstance(OWLClassAssertionAxiom.class, 5, "ClassAssertion", false, false, true);
/** SameIndividual */ @Nonnull public static final AxiomType SAME_INDIVIDUAL = getInstance(OWLSameIndividualAxiom.class, 6, "SameIndividual", false, false, true);
/** DifferentIndividuals */ @Nonnull public static final AxiomType DIFFERENT_INDIVIDUALS = getInstance(OWLDifferentIndividualsAxiom.class, 7, "DifferentIndividuals", false, false, true);
/** ObjectPropertyAssertion */ @Nonnull public static final AxiomType OBJECT_PROPERTY_ASSERTION = getInstance(OWLObjectPropertyAssertionAxiom.class, 8, "ObjectPropertyAssertion", false, false, true);
/** NegativeObjectPropertyAssertion */ @Nonnull public static final AxiomType NEGATIVE_OBJECT_PROPERTY_ASSERTION = getInstance(OWLNegativeObjectPropertyAssertionAxiom.class, 9, "NegativeObjectPropertyAssertion", true, false, true);
/** DataPropertyAssertion */ @Nonnull public static final AxiomType DATA_PROPERTY_ASSERTION = getInstance(OWLDataPropertyAssertionAxiom.class, 10, "DataPropertyAssertion", false, false, true);
/** NegativeDataPropertyAssertion */ @Nonnull public static final AxiomType NEGATIVE_DATA_PROPERTY_ASSERTION = getInstance(OWLNegativeDataPropertyAssertionAxiom.class, 11, "NegativeDataPropertyAssertion", true, false, true);
/** EquivalentObjectProperties */ @Nonnull public static final AxiomType EQUIVALENT_OBJECT_PROPERTIES = getInstance(OWLEquivalentObjectPropertiesAxiom.class, 12, "EquivalentObjectProperties", false, false, true);
/** SubObjectPropertyOf */ @Nonnull public static final AxiomType SUB_OBJECT_PROPERTY = getInstance(OWLSubObjectPropertyOfAxiom.class, 13, "SubObjectPropertyOf", false, false, true);
/** InverseObjectProperties */ @Nonnull public static final AxiomType INVERSE_OBJECT_PROPERTIES = getInstance(OWLInverseObjectPropertiesAxiom.class, 14, "InverseObjectProperties", false, false, true);
/** FunctionalObjectProperty */ @Nonnull public static final AxiomType FUNCTIONAL_OBJECT_PROPERTY = getInstance(OWLFunctionalObjectPropertyAxiom.class, 15, "FunctionalObjectProperty", false, false, true);
/** InverseFunctionalObjectProperty */ @Nonnull public static final AxiomType INVERSE_FUNCTIONAL_OBJECT_PROPERTY = getInstance(OWLInverseFunctionalObjectPropertyAxiom.class, 16, "InverseFunctionalObjectProperty", false, false, true);
/** SymmetricObjectProperty */ @Nonnull public static final AxiomType SYMMETRIC_OBJECT_PROPERTY = getInstance(OWLSymmetricObjectPropertyAxiom.class, 17, "SymmetricObjectProperty", false, false, true);
/** AsymmetricObjectProperty */ @Nonnull public static final AxiomType ASYMMETRIC_OBJECT_PROPERTY = getInstance(OWLAsymmetricObjectPropertyAxiom.class, 18, "AsymmetricObjectProperty", true, true, true);
/** TransitiveObjectProperty */ @Nonnull public static final AxiomType TRANSITIVE_OBJECT_PROPERTY = getInstance(OWLTransitiveObjectPropertyAxiom.class, 19, "TransitiveObjectProperty", false, false, true);
/** ReflexiveObjectProperty */ @Nonnull public static final AxiomType REFLEXIVE_OBJECT_PROPERTY = getInstance(OWLReflexiveObjectPropertyAxiom.class, 20, "ReflexiveObjectProperty", true, true, true);
/** IrreflexiveObjectProperty */ @Nonnull public static final AxiomType IRREFLEXIVE_OBJECT_PROPERTY = getInstance(OWLIrreflexiveObjectPropertyAxiom.class, 21, "IrrefexiveObjectProperty", true, true, true);
/** ObjectPropertyDomain */ @Nonnull public static final AxiomType OBJECT_PROPERTY_DOMAIN = getInstance(OWLObjectPropertyDomainAxiom.class, 22, "ObjectPropertyDomain", false, false, true);
/** ObjectPropertyRange */ @Nonnull public static final AxiomType OBJECT_PROPERTY_RANGE = getInstance(OWLObjectPropertyRangeAxiom.class, 23, "ObjectPropertyRange", false, false, true);
/** DisjointObjectProperties */ @Nonnull public static final AxiomType DISJOINT_OBJECT_PROPERTIES = getInstance(OWLDisjointObjectPropertiesAxiom.class, 24, "DisjointObjectProperties", true, true, true);
/** SubPropertyChainOf */ @Nonnull public static final AxiomType SUB_PROPERTY_CHAIN_OF = getInstance(OWLSubPropertyChainOfAxiom.class, 25, "SubPropertyChainOf", true, true, true);
/** EquivalentDataProperties */ @Nonnull public static final AxiomType EQUIVALENT_DATA_PROPERTIES = getInstance(OWLEquivalentDataPropertiesAxiom.class, 26, "EquivalentDataProperties", false, false, true);
/** SubDataPropertyOf */ @Nonnull public static final AxiomType SUB_DATA_PROPERTY = getInstance(OWLSubDataPropertyOfAxiom.class, 27, "SubDataPropertyOf", false, false, true);
/** FunctionalDataProperty */ @Nonnull public static final AxiomType FUNCTIONAL_DATA_PROPERTY = getInstance(OWLFunctionalDataPropertyAxiom.class, 28, "FunctionalDataProperty", false, false, true);
/** DataPropertyDomain */ @Nonnull public static final AxiomType DATA_PROPERTY_DOMAIN = getInstance(OWLDataPropertyDomainAxiom.class, 29, "DataPropertyDomain", false, false, true);
/** DataPropertyRange */ @Nonnull public static final AxiomType DATA_PROPERTY_RANGE = getInstance(OWLDataPropertyRangeAxiom.class, 30, "DataPropertyRange", false, false, true);
/** DisjointDataProperties */ @Nonnull public static final AxiomType DISJOINT_DATA_PROPERTIES = getInstance(OWLDisjointDataPropertiesAxiom.class, 31, "DisjointDataProperties", true, true, true);
/** DatatypeDefinition */ @Nonnull public static final AxiomType DATATYPE_DEFINITION = getInstance(OWLDatatypeDefinitionAxiom.class, 38, "DatatypeDefinition", true, true, true);
/** HasKey */ @Nonnull public static final AxiomType HAS_KEY = getInstance(OWLHasKeyAxiom.class, 32, "HasKey", true, true, true);
/** Rule */ @Nonnull public static final AxiomType SWRL_RULE = getInstance(SWRLRule.class, 33, "Rule", false, false, true);
/** AnnotationAssertion */ @Nonnull public static final AxiomType ANNOTATION_ASSERTION = getInstance(OWLAnnotationAssertionAxiom.class, 34, "AnnotationAssertion", false, false, false);
/** SubAnnotationPropertyOf */ @Nonnull public static final AxiomType SUB_ANNOTATION_PROPERTY_OF = getInstance(OWLSubAnnotationPropertyOfAxiom.class, 35, "SubAnnotationPropertyOf", true, true, false);
/** AnnotationPropertyRangeOf */ @Nonnull public static final AxiomType ANNOTATION_PROPERTY_RANGE = getInstance(OWLAnnotationPropertyRangeAxiom.class, 36, "AnnotationPropertyRangeOf", true, true, false);
/** AnnotationPropertyDomain */ @Nonnull public static final AxiomType ANNOTATION_PROPERTY_DOMAIN = getInstance(OWLAnnotationPropertyDomainAxiom.class, 37, "AnnotationPropertyDomain", true, true, false);
//@formatter:on
/** axiom types */
@Nonnull
public static final Set> AXIOM_TYPES = CollectionFactory
.createSet(SUBCLASS_OF, EQUIVALENT_CLASSES, DISJOINT_CLASSES,
CLASS_ASSERTION, SAME_INDIVIDUAL, DIFFERENT_INDIVIDUALS,
OBJECT_PROPERTY_ASSERTION,
NEGATIVE_OBJECT_PROPERTY_ASSERTION,
DATA_PROPERTY_ASSERTION, NEGATIVE_DATA_PROPERTY_ASSERTION,
OBJECT_PROPERTY_DOMAIN, OBJECT_PROPERTY_RANGE,
DISJOINT_OBJECT_PROPERTIES, SUB_OBJECT_PROPERTY,
EQUIVALENT_OBJECT_PROPERTIES, INVERSE_OBJECT_PROPERTIES,
SUB_PROPERTY_CHAIN_OF, FUNCTIONAL_OBJECT_PROPERTY,
INVERSE_FUNCTIONAL_OBJECT_PROPERTY,
SYMMETRIC_OBJECT_PROPERTY, ASYMMETRIC_OBJECT_PROPERTY,
TRANSITIVE_OBJECT_PROPERTY, REFLEXIVE_OBJECT_PROPERTY,
IRREFLEXIVE_OBJECT_PROPERTY, DATA_PROPERTY_DOMAIN,
DATA_PROPERTY_RANGE, DISJOINT_DATA_PROPERTIES,
SUB_DATA_PROPERTY, EQUIVALENT_DATA_PROPERTIES,
FUNCTIONAL_DATA_PROPERTY, DATATYPE_DEFINITION,
DISJOINT_UNION, DECLARATION, SWRL_RULE,
ANNOTATION_ASSERTION, SUB_ANNOTATION_PROPERTY_OF,
ANNOTATION_PROPERTY_DOMAIN, ANNOTATION_PROPERTY_RANGE,
HAS_KEY);
private static final Map> NAME_TYPE_MAP = Maps
.uniqueIndex(AXIOM_TYPES, new Function, String>() {
@SuppressWarnings("null")
@Override
public String apply(AxiomType input) {
return input.getName();
}
});
private static final Map, AxiomType> CLASS_TYPE_MAP = Maps
.uniqueIndex(AXIOM_TYPES, new Function, Class>() {
@SuppressWarnings("null")
@Override
public Class apply(AxiomType input) {
return input.getActualClass();
}
});
/**
* @param t
* axiom class to match
* @param
* axiom type
* @return axiom type for axiom class
*/
@Nonnull
public static AxiomType getTypeForClass(Class t) {
AxiomType axiomType = CLASS_TYPE_MAP.get(t);
if (axiomType == null) {
throw new OWLRuntimeException("No known axiom type for " + t);
}
return (AxiomType) axiomType;
}
/** set of tbox axiom types */
@Nonnull
public static final Set> TBoxAxiomTypes = CollectionFactory
.createSet((AxiomType) SUBCLASS_OF, EQUIVALENT_CLASSES,
DISJOINT_CLASSES, OBJECT_PROPERTY_DOMAIN,
OBJECT_PROPERTY_RANGE, INVERSE_OBJECT_PROPERTIES,
FUNCTIONAL_OBJECT_PROPERTY,
INVERSE_FUNCTIONAL_OBJECT_PROPERTY,
SYMMETRIC_OBJECT_PROPERTY, ASYMMETRIC_OBJECT_PROPERTY,
REFLEXIVE_OBJECT_PROPERTY, IRREFLEXIVE_OBJECT_PROPERTY,
DATA_PROPERTY_DOMAIN, DATA_PROPERTY_RANGE,
FUNCTIONAL_DATA_PROPERTY, DATATYPE_DEFINITION,
DISJOINT_UNION, HAS_KEY);
/** set of abox axiom types */
@Nonnull
public static final Set> ABoxAxiomTypes = CollectionFactory
.createSet((AxiomType) CLASS_ASSERTION, SAME_INDIVIDUAL,
DIFFERENT_INDIVIDUALS, OBJECT_PROPERTY_ASSERTION,
NEGATIVE_OBJECT_PROPERTY_ASSERTION,
DATA_PROPERTY_ASSERTION, NEGATIVE_DATA_PROPERTY_ASSERTION);
/** set of rbox axiom types */
@Nonnull
public static final Set> RBoxAxiomTypes = CollectionFactory
.createSet((AxiomType) TRANSITIVE_OBJECT_PROPERTY,
DISJOINT_DATA_PROPERTIES, SUB_DATA_PROPERTY,
EQUIVALENT_DATA_PROPERTIES, DISJOINT_OBJECT_PROPERTIES,
SUB_OBJECT_PROPERTY, EQUIVALENT_OBJECT_PROPERTIES,
SUB_PROPERTY_CHAIN_OF);
/** set of tbox and rbox axiom types */
@SuppressWarnings("null")
@Nonnull
public static final Set> TBoxAndRBoxAxiomTypes = Sets
.newHashSet(Iterables.concat(TBoxAxiomTypes, RBoxAxiomTypes));
}
