Similarity-based relaxed instance queries

Baader, 2003, Least common subsumers and most specific concepts in a description logic with existential restrictions and terminological cycles, 325 Baader, 2009, Description logics, vol. 5689, 1 2003 Baader, 2005, Pushing the EL envelope Banach, 1922, Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales, Fundam. Math., 3, 133, 10.4064/fm-3-1-133-181 Borgida, 2005, Towards measuring similarity in description logics, vol. 147 Borgwardt, 2012, Undecidability of fuzzy description logics, 232 Borgwardt, 2012, How fuzzy is my fuzzy description logic?, vol. 7364, 82 Cerami, 2013, On the (un)decidability of fuzzy description logics under Lukasiewicz t-norm, Inf. Sci., 227, 1, 10.1016/j.ins.2012.11.019 Consortium, 2000, Gene Ontology: tool for the unification of biology, Nat. Genet., 25, 25, 10.1038/75556 d'Amato, 2005, A semantic similarity measure for expressive description logics d'Amato, 2008, On the influence of description logics ontologies on conceptual similarity, vol. 5268, 48 Ecke, 2014, Similarity-based relaxed instance queries in EL++, vol. 1205, 101 Ecke, 2013, Towards instance query answering for concepts relaxed by similarity measures Ecke, 2013, Computing role-depth bounded generalizations in the description logic ELOR, vol. 8077, 49 Ecke, 2014, Answering instance queries relaxed by concept similarity Euzenat, 2004, Similarity-based ontology alignment in OWL-lite, 333 Haarslev, 2012, The RacerPro knowledge representation and reasoning system, J. Web Semant., 3, 267, 10.3233/SW-2011-0032 Kazakov, 2012, ELK reasoner: architecture and evaluation, vol. 858 Lehmann, 2012, A framework for semantic-based similarity measures for ELH-concepts, 307 Lord, 2003, Investigating semantic similarity measures across the gene ontology: the relationship between sequence and annotation, Bioinformatics, 19, 1275, 10.1093/bioinformatics/btg153 Lutz, 2010, Deciding inseparability and conservative extensions in the description logic EL, J. Symb. Comput., 45, 194, 10.1016/j.jsc.2008.10.007 Lutz, 2003, Reasoning about concepts and similarity Mendez, 2011, Implementing completion-based inferences for the EL-family, vol. 745 Motik, 2009, Hypertableau reasoning for description logics, J. Artif. Intell. Res., 36, 165, 10.1613/jair.2811 Motik Pan, 2008, Scalable querying services over fuzzy ontologies, 575 Peñaloza, 2011, A practical approach for computing generalization inferences in EL Peñaloza C. Pesquita, CESSM: collaborative evaluation of GO-based semantic similarity measures, Challenges in Bioinformatics (JB2009). K. Spackman, Managing clinical terminology hierarchies using algorithmic calculation of subsumption: experience with snomed-rt, J. Am. Med. Inform. Assoc. Fall Symposium Special Issue. Straccia, 2006, Towards top-k query answering in description logics: the case of dl-lite, vol. 4160, 439 Straccia, 2006, Answering vague queries in fuzzy dl-lite, 2238 Suntisrivaraporn, 2013, A similarity measure for the description logic EL with unfoldable terminologies, 408 Zarrieß, 2013, Most Specific Generalizations w.r.t. General EL-TBoxes