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.util.Set;
import org.semanticweb.owlapi.model.parameters.AxiomAnnotations;
import org.semanticweb.owlapi.model.parameters.Imports;
/**
* Ontology methods related to it being a collection of axioms. This interface
* differes from OWLAxiomCollection because it uses booleans instead of Imports
* value to determine import closure inclusion.
*
* @author ignazio
* @since 4.0.0
*/
public interface OWLAxiomCollectionBooleanArgs
extends HasAxioms, HasLogicalAxioms, HasAxiomsByType, HasContainsAxiom, OWLAxiomCollection {
/**
* @param b true if imports are included.
* @return All of the axioms in this collection. The set is a copy of the data.
* @deprecated use getAxioms(Imports) instead
*/
@Deprecated
default Set getAxioms(boolean b) {
return getAxioms(Imports.fromBoolean(b));
}
/**
* @param includeImportsClosure if true, include imports closure.
* @return The number of axioms in this ontology, and optionally in the imports closure.
* @deprecated use the stream method
*/
@Deprecated
default int getAxiomCount(boolean includeImportsClosure) {
return getAxiomCount(Imports.fromBoolean(includeImportsClosure));
}
/**
* Gets all axioms semantically relevant, i.e., all axioms that are not
* annotation axioms or declaration axioms.
*
* @param includeImportsClosure if true, include imports closure.
* @return A set of axioms which are of type {@code OWLLogicalAxiom}, optionally including the
* imports closure. The set that is returned is a copy of the data.
* @deprecated use the stream method
*/
@Deprecated
default Set getLogicalAxioms(boolean includeImportsClosure) {
return getLogicalAxioms(Imports.fromBoolean(includeImportsClosure));
}
/**
* Gets the number of logical axioms in this collection, optionally
* including the imports closure.
*
* @param includeImportsClosure if true, include imports closure.
* @return The number of axioms in this collection, optionally including the imports closure.
* @deprecated use the stream method
*/
@Deprecated
default int getLogicalAxiomCount(boolean includeImportsClosure) {
return getLogicalAxiomCount(Imports.fromBoolean(includeImportsClosure));
}
/**
* Gets all axioms of the specified type.
*
* @param axiomType The type of axioms to be retrived.
* @param includeImportsClosure if true, include imports closure.
* @param axiom type
* @return all axioms of the specified type. The set is a copy of the data.
* @deprecated use the stream method
*/
@Deprecated
default Set getAxioms(AxiomType axiomType,
boolean includeImportsClosure) {
return getAxioms(axiomType, Imports.fromBoolean(includeImportsClosure));
}
/**
* Gets the axiom count of a specific type of axiom, optionally including
* the imports closure.
*
* @param axiomType The type of axiom to count
* @param includeImportsClosure if INCLUDED, include imports closure.
* @param axiom type
* @return The number of the specified types of axioms in this collection
* @deprecated use the stream method
*/
@Deprecated
default int getAxiomCount(AxiomType axiomType,
boolean includeImportsClosure) {
return getAxiomCount(axiomType, Imports.fromBoolean(includeImportsClosure));
}
/**
* Determines if this ontology contains the specified axiom, optionally
* including the imports closure.
*
* @param axiom The axiom to search.
* @param includeImportsClosure if INCLUDED, include imports closure.
* @return {@code true} if the ontology contains the specified axiom.
* @deprecated use the stream method
*/
@Deprecated
default boolean containsAxiom(OWLAxiom axiom, boolean includeImportsClosure) {
return containsAxiom(axiom, Imports.fromBoolean(includeImportsClosure),
AxiomAnnotations.CONSIDER_AXIOM_ANNOTATIONS);
}
/**
* Determines if this ontology contains the specified axiom, optionally
* including the imports closure. Annotations are ignored when searching for
* the axiom. For example, if the collection contains
* {@code SubClassOf(Annotation(p V) A B)} then this method will return
* {@code true} if the ontology contains {@code SubClassOf(A B)} or
* {@code SubClassOf(Annotation(q S) A B)} for any annotation property
* {@code q} and any annotation value {@code S}.
*
* @param axiom The axiom to search.
* @param includeImportsClosure if true, include imports closure.
* @return {@code true} if the ontology contains the specified axiom.
* @deprecated use the stream method
*/
@Deprecated
default boolean containsAxiomIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure) {
return containsAxiom(axiom, Imports.fromBoolean(includeImportsClosure),
AxiomAnnotations.IGNORE_AXIOM_ANNOTATIONS);
}
/**
* Gets the set of axioms contained in this collection that have the same
* "logical structure" as the specified axiom; i.e., all axioms that equal
* the specified axiom, when ignoring annotations. Optionally the imports
* closure is included.
*
* @param axiom The axiom that the returned axioms must equal, ignoring annotations.
* @param includeImportsClosure if true, include imports closure.
* @return The set of axioms such that for any two axioms, {@code axiomA} and {@code axiomB} in
* the set, {@code axiomA.getAxiomWithoutAnnotations()} is equal to {@code
* axiomB.getAxiomWithoutAnnotations()}. The specified axiom will be contained in the set.
* @deprecated use the stream method
*/
@Deprecated
default Set getAxiomsIgnoreAnnotations(OWLAxiom axiom,
boolean includeImportsClosure) {
return getAxiomsIgnoreAnnotations(axiom, Imports.fromBoolean(includeImportsClosure));
}
/**
* Gets the axioms where the specified {@link OWLPrimitive} appears in the
* signature of the axiom.
* Note that currently signatures contain {@link OWLEntity} only. This
* method accepts OWLPrimitive so that also anonymous individuals, literals,
* IRIs and annotation values can be passed in, although they are not
* included in the axioms' signatures.
*
* @param owlEntity The entity that should be directly referred to by all axioms in the results
* set.
* @param includeImportsClosure if INCLUDED, include imports closure.
* @return All axioms referencing the entity. The set is a copy of the data.
* @deprecated use the stream method
*/
@Deprecated
default Set getReferencingAxioms(OWLPrimitive owlEntity,
boolean includeImportsClosure) {
return getReferencingAxioms(owlEntity, Imports.fromBoolean(includeImportsClosure));
}
// Axioms that form part of a description of a named entity
/**
* Gets the axioms that form the definition/description of a class.
*
* @param cls The class whose describing axioms are to be retrieved.
* @param includeImportsClosure if INCLUDED, include imports closure.
* @return A set of class axioms that describe the class. This set includes
Subclass
* axioms where the subclass is equal to the specified class
Equivalent class axioms
* where the specified class is an operand in the equivalent class axiom
Disjoint class
* axioms where the specified class is an operand in the disjoint class axiom
Disjoint
* union axioms, where the specified class is the named class that is equivalent to the disjoint
* union
The returned set is a copy of the data.
* @deprecated use getAxioms(entity, Imports) instead
*/
@Deprecated
default Set getAxioms(OWLClass cls, boolean includeImportsClosure) {
return getAxioms(cls, Imports.fromBoolean(includeImportsClosure));
}
/**
* Gets the axioms that form the definition/description of an object
* property.
*
* @param property The property whose defining axioms are to be retrieved.
* @param includeImportsClosure if INCLUDED, include imports closure.
* @return A set of object property axioms that includes
Sub-property axioms where the
* sub property is the specified property
Equivalent property axioms where the axiom
* contains the specified property
Equivalent property axioms that contain the inverse
* of the specified property
Disjoint property axioms that contain the specified
* property
Domain axioms that specify a domain of the specified property
*
Range axioms that specify a range of the specified property
Any property
* characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the
* specified property
Inverse properties axioms that contain the specified property
*
The set that is returned is a copy of the data.
* @deprecated use getAxioms(entity, Imports) instead
*/
@Deprecated
default Set getAxioms(OWLObjectPropertyExpression property,
boolean includeImportsClosure) {
return getAxioms(property, Imports.fromBoolean(includeImportsClosure));
}
/**
* Gets the axioms that form the definition/description of a data property.
*
* @param property The property whose defining axioms are to be retrieved.
* @param includeImportsClosure if INCLUDED, include imports closure.
* @return A set of data property axioms that includes
Sub-property axioms where the
* sub property is the specified property
Equivalent property axioms where the axiom
* contains the specified property
Disjoint property axioms that contain the specified
* property
Domain axioms that specify a domain of the specified property
*
Range axioms that specify a range of the specified property
Any property
* characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the
* specified property
The set is a copy of the data.
* @deprecated use getAxioms(entity, Imports) instead
*/
@Deprecated
default Set getAxioms(OWLDataProperty property,
boolean includeImportsClosure) {
return getAxioms(property, Imports.fromBoolean(includeImportsClosure));
}
/**
* Gets the axioms that form the definition/description of an individual.
*
* @param individual The individual whose defining axioms are to be retrieved.
* @param includeImportsClosure if INCLUDED, include imports closure.
* @return A set of individual axioms that includes
Individual type assertions that
* assert the type of the specified individual
Same individuals axioms that contain the
* specified individual
Different individuals axioms that contain the specified
* individual
Object property assertion axioms whose subject is the specified
* individual
Data property assertion axioms whose subject is the specified
* individual
Negative object property assertion axioms whose subject is the specified
* individual
Negative data property assertion axioms whose subject is the specified
* individual
The set is a copy of the data.
* @deprecated use getAxioms(entity, Imports) instead
*/
@Deprecated
default Set getAxioms(OWLIndividual individual,
boolean includeImportsClosure) {
return getAxioms(individual, Imports.fromBoolean(includeImportsClosure));
}
/**
* Gets the axioms that form the definition/description of an annotation
* property.
*
* @param property The property whose definition axioms are to be retrieved
* @param includeImportsClosure if INCLUDED, include imports closure.
* @return A set of axioms that includes
Annotation subpropertyOf axioms where the
* specified property is the sub property
Annotation property domain axioms that
* specify a domain for the specified property
Annotation property range axioms that
* specify a range for the specified property
The set is a copy of the data.
* @deprecated use getAxioms(entity, Imports) instead
*/
@Deprecated
default Set getAxioms(OWLAnnotationProperty property,
boolean includeImportsClosure) {
return getAxioms(property, Imports.fromBoolean(includeImportsClosure));
}
/**
* Gets the datatype definition axioms for the specified datatype.
*
* @param datatype The datatype
* @param includeImportsClosure if INCLUDED, include imports closure.
* @return The set of datatype definition axioms for the specified datatype. The set is a copy
* of the data.
* @deprecated use getAxioms(entity, Imports) instead
*/
@Deprecated
default Set getAxioms(OWLDatatype datatype,
boolean includeImportsClosure) {
return getAxioms(datatype, Imports.fromBoolean(includeImportsClosure));
}
}
