This project is concerned with the computation of concept referring expressions in order to return both explicitly named and implicitly given, anonymous individuals as answers for a generalized instance retrieval query on Horn-ALC ontologies. In particular, a Java implementation is provided for an algorithm where reasoners are considered as black box. An example of how to execute the algorithm is provided in the class Main, while a general performance evaluation based on runtime measurements can be done by means of the class RuntimeEvaluation.
Copyright 2022
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.