001/** 002 * Copyright (C) 2007 - 2016, Jens Lehmann 003 * 004 * This file is part of DL-Learner. 005 * 006 * DL-Learner is free software; you can redistribute it and/or modify 007 * it under the terms of the GNU General Public License as published by 008 * the Free Software Foundation; either version 3 of the License, or 009 * (at your option) any later version. 010 * 011 * DL-Learner is distributed in the hope that it will be useful, 012 * but WITHOUT ANY WARRANTY; without even the implied warranty of 013 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 014 * GNU General Public License for more details. 015 * 016 * You should have received a copy of the GNU General Public License 017 * along with this program. If not, see <http://www.gnu.org/licenses/>. 018 */ 019package org.dllearner.core.fuzzydll; 020 021import java.util.SortedSet; 022 023import org.dllearner.core.owl.fuzzydll.FuzzyIndividual; 024import org.semanticweb.owlapi.model.OWLClassExpression; 025 026/** 027 * Reasoning requests/queries related to fuzzy reasoning over individuals in the knowledge base. 028 * 029 * @author Josue Iglesias 030 * 031 */ 032public interface FuzzyIndividualReasoner { 033 034 /** 035 * Checks the fuzzy membership degree of <code>individual</code> over <code>description</code>. 036 * For instance, "Peter" may be an instance of "TallPerson" with fuzzy membership degree = 0.8. 037 * individual 038 * @param description An OWL class description. 039 * @param individual An individual. 040 * @return fuzzy membership degree of <code>individual</code> satisfying <code>description</code> [0-1]. 041 */ 042 double hasTypeFuzzyMembership(OWLClassExpression description, FuzzyIndividual individual); 043 044 SortedSet<FuzzyIndividual> getFuzzyIndividuals(OWLClassExpression concept); 045}