Expressive reasoning with horn rules and fuzzy description logics

Authors:
Theofilos Mailis;Giorgos Stoilos;Giorgos Stamou
Affiliations:
Department of Electrical and Computer Engineering, National Technical University of Athens, Zographou, Greece;Department of Electrical and Computer Engineering, National Technical University of Athens, Zographou, Greece;Department of Electrical and Computer Engineering, National Technical University of Athens, Zographou, Greece
Venue:
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Year:
2007

Citing 14
Cited 7

Fuzzy sets and fuzzy logic: theory and applications

Fuzzy sets and fuzzy logic: theory and applications
Logical foundations of object-oriented and frame-based languages

Journal of the ACM (JACM)
Combining Horn rules and description logics in CARIN

Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics

Journal of Intelligent Information Systems
A model of multimedia information retrieval

Journal of the ACM (JACM)
A Terminological Knowledge Representation System with Complete Inference Algorithms

PDK '91 Proceedings of the International Workshop on Processing Declarative Knowledge
Description logic programs: combining logic programs with description logic

WWW '03 Proceedings of the 12th international conference on World Wide Web
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
A proposal for an owl rules language

Proceedings of the 13th international conference on World Wide Web
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web

RULEML '06 Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
General Concept Inclusions in Fuzzy Description Logics

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Characterizing data complexity for conjunctive query answering in expressive description logics

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Reasoning within fuzzy description logics

Journal of Artificial Intelligence Research
Pushing the EL envelope

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence

Scalable querying services over fuzzy ontologies

Proceedings of the 17th international conference on World Wide Web
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Reasoning Web
Managing uncertainty and vagueness in description logics for the Semantic Web

Web Semantics: Science, Services and Agents on the World Wide Web
Deciding Query Entailment in Fuzzy Description Logic Knowledge Bases

DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Deciding Query Entailment for Fuzzy $\mathcal{SHIN}$ Ontologies

ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Extracting knowledge from fuzzy relational databases with description logic

Integrated Computer-Aided Engineering
Rewriting fuzzy queries using imprecise views

ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This essay describes fuzzy CARIN, a knowledge representation language combining fuzzy description logics with Horn rules. Fuzzy CARIN integrates the management of fuzzy logic into the nonrecursive CARIN system. It provides a sound and complete algorithm for representing and reasoning about fuzzy ALCNR extended with nonrecursive Horn rules. Such an extension is most useful in realistic applications dealing with uncertainty and imprecision, such as multimedia processing and medical applications. Additionally, it provides the ability of answering to union of conjunctive queries, which is a novelty not previously addressed by fuzzy DL systems.