Related references
Note: Only part of the references are listed.Efficient TBox Reasoning with Value Restrictions using the FLower Reasoner
Franz Baader et al.
THEORY AND PRACTICE OF LOGIC PROGRAMMING (2022)
On Approximation of Concept Similarity Measure in Description Logic ELH With Pre-Trained Word Embedding
Teeradaj Racharak
IEEE ACCESS (2021)
PERSONALIZING A CONCEPT SIMILARITY MEASURE IN THE DESCRIPTION LOGIC ELH WITH PREFERENCE PROFILE
Teeradaj Racharak et al.
COMPUTING AND INFORMATICS (2018)
The limits of decidability in fuzzy description logics with general concept inclusions
Stefan Borgwardt et al.
ARTIFICIAL INTELLIGENCE (2015)
The role of ontologies in biological and biomedical research: a functional perspective
Robert Hoehndorf et al.
BRIEFINGS IN BIOINFORMATICS (2015)
Similarity-based relaxed instance queries
Andreas Ecke et al.
JOURNAL OF APPLIED LOGIC (2015)
On the Decidability Status of Fuzzy with General Concept Inclusions
Franz Baader et al.
JOURNAL OF PHILOSOPHICAL LOGIC (2015)
HermiT: An OWL 2 Reasoner
Birte Glimm et al.
JOURNAL OF AUTOMATED REASONING (2014)
Data complexity of query answering in description logics
Diego Calvanese et al.
ARTIFICIAL INTELLIGENCE (2013)
Optimizing terminological reasoning for expressive description logics
Dmitry Tsarkov et al.
JOURNAL OF AUTOMATED REASONING (2007)
A logic for concepts and similarity
M. Sheremet et al.
JOURNAL OF LOGIC AND COMPUTATION (2007)
Semantic matchmaking as non-monotonic reasoning: A description logic approach
Tommaso Di Noia et al.
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (2007)
Making fuzzy description logic more general
P Hájek
FUZZY SETS AND SYSTEMS (2005)