4.7 Article

Extending the description logic εL with threshold concepts induced by concept measures

Related references

Note: Only part of the references are listed.
Article Computer Science, Software Engineering

Efficient TBox Reasoning with Value Restrictions using the FLower Reasoner

Franz Baader et al.

Summary: This paper presents a dedicated algorithm to enhance the capability of FL0, which is simpler than the algorithms used by other DL reasoners. Experimental results show that the performance of this algorithm is excellent compared to highly optimized reasoners. Additionally, the complexity of DL reasoning related to the Horn fragments of FL0 and FL&updatedExpOTTOM; is investigated.

THEORY AND PRACTICE OF LOGIC PROGRAMMING (2022)

Article Computer Science, Information Systems

On Approximation of Concept Similarity Measure in Description Logic ELH With Pre-Trained Word Embedding

Teeradaj Racharak

Summary: This work introduces a general framework that combines the strengths of data-driven and knowledge-driven methods to measure semantic similarity in ontologies, aiming to address interpretability and explainability issues. By conducting empirical evaluations on medical ontologies and pre-trained embeddings, the proposed method demonstrates correctness and comparable performance.

IEEE ACCESS (2021)

Article Computer Science, Artificial Intelligence

PERSONALIZING A CONCEPT SIMILARITY MEASURE IN THE DESCRIPTION LOGIC ELH WITH PREFERENCE PROFILE

Teeradaj Racharak et al.

COMPUTING AND INFORMATICS (2018)

Article Computer Science, Artificial Intelligence

The limits of decidability in fuzzy description logics with general concept inclusions

Stefan Borgwardt et al.

ARTIFICIAL INTELLIGENCE (2015)

Article Biochemical Research Methods

The role of ontologies in biological and biomedical research: a functional perspective

Robert Hoehndorf et al.

BRIEFINGS IN BIOINFORMATICS (2015)

Article Computer Science, Artificial Intelligence

Similarity-based relaxed instance queries

Andreas Ecke et al.

JOURNAL OF APPLIED LOGIC (2015)

Article Logic

On the Decidability Status of Fuzzy with General Concept Inclusions

Franz Baader et al.

JOURNAL OF PHILOSOPHICAL LOGIC (2015)

Article Computer Science, Artificial Intelligence

HermiT: An OWL 2 Reasoner

Birte Glimm et al.

JOURNAL OF AUTOMATED REASONING (2014)

Article Computer Science, Artificial Intelligence

Data complexity of query answering in description logics

Diego Calvanese et al.

ARTIFICIAL INTELLIGENCE (2013)

Article Computer Science, Artificial Intelligence

Optimizing terminological reasoning for expressive description logics

Dmitry Tsarkov et al.

JOURNAL OF AUTOMATED REASONING (2007)

Article Computer Science, Theory & Methods

A logic for concepts and similarity

M. Sheremet et al.

JOURNAL OF LOGIC AND COMPUTATION (2007)

Article Computer Science, Artificial Intelligence

Semantic matchmaking as non-monotonic reasoning: A description logic approach

Tommaso Di Noia et al.

JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (2007)

Article Computer Science, Theory & Methods

Making fuzzy description logic more general

P Hájek

FUZZY SETS AND SYSTEMS (2005)