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 static org.semanticweb.owlapi.util.OWLAPIStreamUtils.asSet;
import java.io.Serializable;
import java.util.Collection;
import java.util.Map;
import java.util.Set;
import java.util.stream.Stream;
import javax.annotation.Nullable;
import org.semanticweb.owlapi.util.CollectionFactory;
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#axioms(AxiomType)} and
* {@link org.semanticweb.owlapi.model.OWLOntology#getAxiomCount(AxiomType, org.semanticweb.owlapi.model.parameters.Imports)}
* .
*
* @param axiom type
* @author Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group
* @since 2.1.0
*/
@SuppressWarnings({"unchecked"})
public final class AxiomType implements Serializable, Comparable> {
//@formatter:off
/** Declaration. */ public static final AxiomType DECLARATION = getInstance(OWLDeclarationAxiom.class, 0, "Declaration", true, true, false);
/** EquivalentClasses. */ public static final AxiomType EQUIVALENT_CLASSES = getInstance(OWLEquivalentClassesAxiom.class, 1, "EquivalentClasses", false, false, true);
/** SubClassOf. */ public static final AxiomType SUBCLASS_OF = getInstance(OWLSubClassOfAxiom.class, 2, "SubClassOf", false, false, true);
/** DisjointClasses. */ public static final AxiomType DISJOINT_CLASSES = getInstance(OWLDisjointClassesAxiom.class, 3, "DisjointClasses", false, false, true);
/** DisjointUnion. */ public static final AxiomType DISJOINT_UNION = getInstance(OWLDisjointUnionAxiom.class, 4, "DisjointUnion", true, false, true);
/** ClassAssertion. */ public static final AxiomType CLASS_ASSERTION = getInstance(OWLClassAssertionAxiom.class, 5, "ClassAssertion", false, false, true);
/** SameIndividual. */ public static final AxiomType SAME_INDIVIDUAL = getInstance(OWLSameIndividualAxiom.class, 6, "SameIndividual", false, false, true);
/** DifferentIndividuals. */ public static final AxiomType DIFFERENT_INDIVIDUALS = getInstance(OWLDifferentIndividualsAxiom.class, 7, "DifferentIndividuals", false, false, true);
/** ObjectPropertyAssertion. */ public static final AxiomType OBJECT_PROPERTY_ASSERTION = getInstance(OWLObjectPropertyAssertionAxiom.class, 8, "ObjectPropertyAssertion", false, false, true);
/** NegativeObjectPropertyAssertion. */ public static final AxiomType NEGATIVE_OBJECT_PROPERTY_ASSERTION = getInstance(OWLNegativeObjectPropertyAssertionAxiom.class, 9, "NegativeObjectPropertyAssertion", true,false, true);
/** DataPropertyAssertion. */ public static final AxiomType DATA_PROPERTY_ASSERTION = getInstance(OWLDataPropertyAssertionAxiom.class, 10, "DataPropertyAssertion", false, false, true);
/** NegativeDataPropertyAssertion. */ public static final AxiomType NEGATIVE_DATA_PROPERTY_ASSERTION = getInstance(OWLNegativeDataPropertyAssertionAxiom.class, 11, "NegativeDataPropertyAssertion", true,false, true);
/** EquivalentObjectProperties. */ public static final AxiomType EQUIVALENT_OBJECT_PROPERTIES = getInstance(OWLEquivalentObjectPropertiesAxiom.class, 12, "EquivalentObjectProperties", false, false,true);
/** SubObjectPropertyOf. */ public static final AxiomType SUB_OBJECT_PROPERTY = getInstance(OWLSubObjectPropertyOfAxiom.class, 13, "SubObjectPropertyOf", false, false, true);
/** InverseObjectProperties. */ public static final AxiomType INVERSE_OBJECT_PROPERTIES = getInstance(OWLInverseObjectPropertiesAxiom.class, 14, "InverseObjectProperties", false, false, true);
/** FunctionalObjectProperty. */ public static final AxiomType FUNCTIONAL_OBJECT_PROPERTY = getInstance(OWLFunctionalObjectPropertyAxiom.class, 15, "FunctionalObjectProperty", false, false, true);
/** InverseFunctionalObjectProperty. */ public static final AxiomType INVERSE_FUNCTIONAL_OBJECT_PROPERTY = getInstance(OWLInverseFunctionalObjectPropertyAxiom.class, 16, "InverseFunctionalObjectProperty", false,false, true);
/** SymmetricObjectProperty. */ public static final AxiomType SYMMETRIC_OBJECT_PROPERTY = getInstance(OWLSymmetricObjectPropertyAxiom.class, 17, "SymmetricObjectProperty", false, false, true);
/** AsymmetricObjectProperty. */ public static final AxiomType ASYMMETRIC_OBJECT_PROPERTY = getInstance(OWLAsymmetricObjectPropertyAxiom.class, 18, "AsymmetricObjectProperty", true, true, true);
/** TransitiveObjectProperty. */ public static final AxiomType TRANSITIVE_OBJECT_PROPERTY = getInstance(OWLTransitiveObjectPropertyAxiom.class, 19, "TransitiveObjectProperty", false, false, true);
/** ReflexiveObjectProperty. */ public static final AxiomType REFLEXIVE_OBJECT_PROPERTY = getInstance(OWLReflexiveObjectPropertyAxiom.class, 20, "ReflexiveObjectProperty", true, true, true);
/** IrreflexiveObjectProperty. */ public static final AxiomType IRREFLEXIVE_OBJECT_PROPERTY = getInstance(OWLIrreflexiveObjectPropertyAxiom.class, 21, "IrrefexiveObjectProperty", true, true, true);
/** ObjectPropertyDomain. */ public static final AxiomType OBJECT_PROPERTY_DOMAIN = getInstance(OWLObjectPropertyDomainAxiom.class, 22, "ObjectPropertyDomain", false, false, true);
/** ObjectPropertyRange. */ public static final AxiomType OBJECT_PROPERTY_RANGE = getInstance(OWLObjectPropertyRangeAxiom.class, 23, "ObjectPropertyRange", false, false, true);
/** DisjointObjectProperties. */ public static final AxiomType DISJOINT_OBJECT_PROPERTIES = getInstance(OWLDisjointObjectPropertiesAxiom.class, 24, "DisjointObjectProperties", true, true, true);
/** SubPropertyChainOf. */ public static final AxiomType SUB_PROPERTY_CHAIN_OF = getInstance(OWLSubPropertyChainOfAxiom.class, 25, "SubPropertyChainOf", true, true, true);
/** EquivalentDataProperties. */ public static final AxiomType EQUIVALENT_DATA_PROPERTIES = getInstance(OWLEquivalentDataPropertiesAxiom.class, 26, "EquivalentDataProperties", false, false, true);
/** SubDataPropertyOf. */ public static final AxiomType SUB_DATA_PROPERTY = getInstance(OWLSubDataPropertyOfAxiom.class, 27, "SubDataPropertyOf", false, false, true);
/** FunctionalDataProperty. */ public static final AxiomType FUNCTIONAL_DATA_PROPERTY = getInstance(OWLFunctionalDataPropertyAxiom.class, 28, "FunctionalDataProperty", false, false, true);
/** DataPropertyDomain. */ public static final AxiomType DATA_PROPERTY_DOMAIN = getInstance(OWLDataPropertyDomainAxiom.class, 29, "DataPropertyDomain", false, false, true);
/** DataPropertyRange. */ public static final AxiomType DATA_PROPERTY_RANGE = getInstance(OWLDataPropertyRangeAxiom.class, 30, "DataPropertyRange", false, false, true);
/** DisjointDataProperties. */ public static final AxiomType DISJOINT_DATA_PROPERTIES = getInstance(OWLDisjointDataPropertiesAxiom.class, 31, "DisjointDataProperties", true, true, true);
/** DatatypeDefinition. */ public static final AxiomType DATATYPE_DEFINITION = getInstance(OWLDatatypeDefinitionAxiom.class, 38, "DatatypeDefinition", true, true, true);
/** HasKey. */ public static final AxiomType HAS_KEY = getInstance(OWLHasKeyAxiom.class, 32, "HasKey", true, true, true);
/** Rule. */ public static final AxiomType SWRL_RULE = getInstance(SWRLRule.class, 33, "Rule", false, false, true);
/** AnnotationAssertion. */ public static final AxiomType ANNOTATION_ASSERTION = getInstance(OWLAnnotationAssertionAxiom.class, 34, "AnnotationAssertion", false, false, false);
/** SubAnnotationPropertyOf. */ public static final AxiomType SUB_ANNOTATION_PROPERTY_OF = getInstance(OWLSubAnnotationPropertyOfAxiom.class, 35, "SubAnnotationPropertyOf", true, true, false);
/** AnnotationPropertyRangeOf. */ public static final AxiomType ANNOTATION_PROPERTY_RANGE = getInstance(OWLAnnotationPropertyRangeAxiom.class, 36, "AnnotationPropertyRangeOf", true, true, false);
/** AnnotationPropertyDomain. */ public static final AxiomType ANNOTATION_PROPERTY_DOMAIN = getInstance(OWLAnnotationPropertyDomainAxiom.class, 37, "AnnotationPropertyDomain", true, true, false);
/** Axiom types. */ 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);
/** Axiom types. */ public static final Set> LOGICAL_AXIOM_TYPES = asSet(AXIOM_TYPES.stream().filter(AxiomType::isLogical));
/** Logical axioms and declarations */ public static final Set> LOGICAL_AXIOMS_AND_DECLARATIONS_TYPES = asSet(Stream.concat(LOGICAL_AXIOM_TYPES.stream(), Stream.of(DECLARATION)));
/** Set of tbox axiom types. */ public static final Set> TBoxAxiomTypes = CollectionFactory.createSet((AxiomType) SUBCLASS_OF, EQUIVALENT_CLASSES, DISJOINT_CLASSES, OBJECT_PROPERTY_DOMAIN, OBJECT_PROPERTY_RANGE, FUNCTIONAL_OBJECT_PROPERTY, INVERSE_FUNCTIONAL_OBJECT_PROPERTY, DATA_PROPERTY_DOMAIN, DATA_PROPERTY_RANGE, FUNCTIONAL_DATA_PROPERTY, DATATYPE_DEFINITION, DISJOINT_UNION, HAS_KEY);
/** Set of abox axiom types. */ 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. */ 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, INVERSE_OBJECT_PROPERTIES, SYMMETRIC_OBJECT_PROPERTY, ASYMMETRIC_OBJECT_PROPERTY, REFLEXIVE_OBJECT_PROPERTY, IRREFLEXIVE_OBJECT_PROPERTY);
/** Set of tbox and rbox axiom types. */public static final Set> TBoxAndRBoxAxiomTypes = Sets.newHashSet(Iterables.concat(TBoxAxiomTypes, RBoxAxiomTypes));
private static final Map> NAME_TYPE_MAP = Maps.uniqueIndex(AXIOM_TYPES, AxiomType::getName);
private static final Map, AxiomType> CLASS_TYPE_MAP = Maps.uniqueIndex(AXIOM_TYPES, AxiomType::getActualClass);
private final String name;
private final boolean owl2Axiom;
private final boolean nonSyntacticOWL2Axiom;
private final boolean isLogical;
private final int index;
private final Class actualClass;
//@formatter:on
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;
}
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);
}
/**
* @param t axiom class to match
* @param axiom type
* @return axiom type for axiom class
*/
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;
}
/**
* 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.
*/
public static Set getAxiomsWithoutTypes(Collection sourceAxioms,
AxiomType... axiomTypes) {
Set> disallowed = Sets.newHashSet(axiomTypes);
return asSet(sourceAxioms.stream().filter(a -> !disallowed.contains(a.getAxiomType())));
}
/**
* 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.
*/
public static Set getAxiomsOfTypes(Collection sourceAxioms,
AxiomType... axiomTypes) {
Set> allowed = Sets.newHashSet(axiomTypes);
return asSet(sourceAxioms.stream().filter(a -> allowed.contains(a.getAxiomType())));
}
/**
* 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);
}
@Override
public int hashCode() {
return name.hashCode();
}
@Override
public boolean equals(@Nullable Object obj) {
if (obj == null) {
return false;
}
if (this == obj) {
return true;
}
if (obj instanceof AxiomType) {
return name.equals(((AxiomType) obj).name);
}
return false;
}
@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;
}
@Override
public int compareTo(@SuppressWarnings("null") AxiomType o) {
return Integer.compare(index, o.index);
}
}
