Fuzzy-DL reasoning over unknown fuzzy degrees

Authors:
Stasinos Konstantopoulos;Georgios Apostolikas
Affiliations:
Institute of Informatics and Telecommunications, NCSR 'Demokritos', Athens, Greece;Institute of Informatics and Telecommunications, NCSR 'Demokritos', Athens, Greece
Venue:
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Year:
2007

Citing 6
Cited 5

Tabled evaluation with delaying for general logic programs

Journal of the ACM (JACM)
A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)
A model of multimedia information retrieval

Journal of the ACM (JACM)
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Error Back-Propagation in Multi-valued Logic Systems

ICCIMA '07 Proceedings of the International Conference on Computational Intelligence and Multimedia Applications (ICCIMA 2007) - Volume 04
Reasoning within fuzzy description logics

Journal of Artificial Intelligence Research

Fuzzy description logics under Gödel semantics

International Journal of Approximate Reasoning
FRESG: A Kind of Fuzzy Description Logic Reasoner

DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Reasoning with the finitely many-valued Łukasiewicz fuzzy Description Logic SROIQ

Information Sciences: an International Journal
DeLorean: A reasoner for fuzzy OWL 2

Expert Systems with Applications: An International Journal
Fuzzy logic, annotation domains and semantic web languages

SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we describe a fuzzy Description Logic reasoner which implements resolution in order to provide reasoning services for expressive fuzzy DLs. The main innovation of this implementation is the ability to reason over assertions with abstract (unspecified) fuzzy degrees. The answer to queries is, consequently, an algebraic expression involving the (unknown) fuzzy degrees and the degree of the query. We describe the implementation and discuss a use case in the domain of semantic meta-extraction where conventional DL reasoning is not applicable.