Corpus ID: 7623702

Expressive Querying over Fuzzy DL-Lite Ontologies

@inproceedings{Pan2007ExpressiveQO,
  title={Expressive Querying over Fuzzy DL-Lite Ontologies},
  author={Jeff Z. Pan and G. Stamou and Giorgos Stoilos and Edward Thomas},
  booktitle={Description Logics},
  year={2007}
}
Fuzzy Description Logics (f-DLs) have been proposed as formalisms capable of capturing and reasoning about imprecise and vague knowledge. The last years, research in Description Logics, and also in fDLs, is largely focused on the development of languages where complexity of query answering is as efficient as query answering in data bases. One such example is the DL-Lite language and its fuzzy extension f-DL-Lite. In the current paper we present various a variety of query languages by which we… Expand
Employing DL-Lite R-Reasoners for Fuzzy Query Answering ?
Fuzzy Description Logics generalize crisp ones by providing membership degree semantics for concepts and roles by fuzzy sets. Recently, answering of conjunctive queries has been investigated andExpand
Query Answering in Fuzzy DL-Lite with Graded Axioms (Extended Abstract)
TLDR
It is shown that for the Godel t- norm, the degree of an answer is computable through repeated calls to a classical query answering engine, and for non-idempotent t-norms, the difficulty in dealing with degrees is shown. Expand
Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics
TLDR
This paper gives reductions for Godel, and Łukasiewicz variants of fuzzy Open image in new window and two kinds of fuzzy CQs to solve conjunctive query answering problems for fuzzy DLs. Expand
A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLite
TLDR
This work presents an approach, that employs the crisp rewriting as a black-box procedure and treats the degrees in a second rewriting step, that yields a sound procedure for the Godel based fuzzy semantics, which is implemented in the FLite reasoner that employing the Ontop system. Expand
Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies
TLDR
This paper extends a well-known technique that reduces the fuzzy ontology to a classical one, and uses classical DL reasoners as a black box to improve the complexity of previous reduction techniques for finitely valued fuzzy DLs, which allows for tight complexity results for answering certain kinds of fuzzy CQs. Expand
Querying Fuzzy Description Logics and Ontology Knowledge Bases
TLDR
This chapter aims at introducing the conjunctive querying techniques from tractable to more expressive fuzzy DL KBs and fuzzy ontologies and querying over fuzzy ontology and some flexible extensions to the W3C standard query language SPARQL will be included. Expand
Reasoning within Fuzzy OWL 2 EL revisited
TLDR
This work provides some reasoning algorithms showing that instance/subsumption checking decision problems remain polynomial time for Fuzzy OWL 2 EL under standard and Godel semantics. Expand
Extending Fuzzy Description Logics for the Semantic Web
TLDR
The current state-of-the-art on fuzzy extensions to Semantic Web languages is extended by presenting the syntax and semantics of the fuzzy-SROIQ DL as well as the abstract, XML syntax and morphology of a fuzzy extension to OWL 1.1. Expand
Tractable Reasoning Based on the Fuzzy EL++ Algorithm
TLDR
This paper introduces the fuzzy extension of EL++, and provides its syntax and semantics together with a reasoning algorithm for the fuzzy concept subsumption problem, in which other problems related to fuzzy DLs can be reduced. Expand
Datalog-based framework for efficient query answering over fuzzy ontologies
TLDR
A Datalog based framework, named OntoFlex, for efficient query answering over fuzzy ontologies, which implements the FSAQL query language over Flora-2 and XSB Datalogy systems and proposes a correct mapping of fuzzy RDFS and fuzzy OWL2EL into crisp Datalogs programs. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 17 REFERENCES
Answering Vague Queries in Fuzzy DL-Lite
TLDR
This paper shows how to compute efficiently the top-k answers of a complex query (i.e. conjunctive queries) over a huge set of instances. Expand
Reasoning within Fuzzy Description Logics
TLDR
This paper presents a fuzzy extension of ALC, combining Zadeh's fuzzy logic with a classical DL, where concepts becomes fuzzy and, thus, reasoning about imprecise concepts is supported. Expand
DL-Lite: Tractable Description Logics for Ontologies
TLDR
DL-Lite is proposed, a new Description Logic specifically tailored to capture basic ontology languages, while keeping low complexity of reasoning, and shows that in DL-LITE the usual DL reasoning tasks are polynomial in the size of the TBox, and query answering is polynometric in theSize of the ABox, the first result of polynomic data complexity for query answering over DL knowledge bases. Expand
DL-Lite: Practical Reasoning for Rich Dls
TLDR
A DL rich enough to express UML class diagrams including ISA and disjointness between classes (but not covering constraints), typing of associations, and participation and functional cardinality constraints is studied. Expand
A Fuzzy Extension of SWRL
TLDR
F fuzzy extensions of SWRL are proposed, which extend the existing abstract syntax for SWRL, while the semantics is based on the theory of fuzzy sets [Zad65], and asserts that if one has a parent that is happy, then one is likely to be happy. Expand
The Fuzzy Description Logic f-SHIN
TLDR
An extension of the Description Logic SHIN with fuzzy set theory is presented and the semantics as well as detailed reasoning algorithms for the extended language are presented. Expand
Uncertainty and the Semantic Web
TLDR
Fuzzy OWL is created, a fuzzy extension to OWL that can capture imprecise and vague knowledge, and the reasoning platform, fuzzy reasoning engine (FiRE), lets FuzzY OWL capture and reason about such knowledge. Expand
ONTOSEARCH2: SEARCHING AND QUERYING WEB ONTOLOGIES
TLDR
A Semantic Web engine, called ONTOSEARCH2, which searches and queries Web ontologies by creating and storing a copy of ontologies in a tractable description logic, using the SPARQL query language. Expand
Fuzzy OWL: Uncertainty and the Semantic Web
TLDR
The OWL web ontology language is extended, with fuzzy set theory, in order to be able to capture, represent and reason with information that is many times imprecise or vague. Expand
f-SWRL: A Fuzzy Extension of SWRL
TLDR
f-SWRL is proposed, a fuzzy extension to SWRL to include fuzzy assertions and fuzzy rules (such as ‘being healthy is more important than being rich to determine if one is happy'). Expand
...
1
2
...