Paper Info
Title
Reasoning with fuzzy extensions of OWL and OWL 2
Abstract
Fuzzy Description Logics (f-DLs) have been proposed as logical formalisms capable of representing and reasoning with vague/fuzzy information. They are envisioned to be helpful for many applications that need to cope with such type of information such as multimedia processing, decision making, automatic negotiation and more. Recent results have provided with many tableaux algorithms for supporting reasoning over quite expressive f-DLs. However, no (direct) tableaux algorithm for reasoning with fuzzy extensions of DLs such as $$\mathcal{SHOIQ } $$ and $$\mathcal{SROIQ } $$ exists today. $$\mathcal{SHOIQ } $$ and $$\mathcal{SROIQ } $$ are particularly interesting formalisms as they constitute the logical underpinnings of the Web ontology languages OWL DL and OWL 2 DL. In the current paper, we present an algorithm for reasoning with the fuzzy DLs f- $$\mathcal{SHOIQ } $$ and f- $$\mathcal{SROIQ } $$ . In addition, we also provide a tableaux algorithm for fuzzy nominals, thus providing reasoning support for the fuzzy DL language (we call) f- $$\mathcal{SHO }_\mathtt{{f}}\mathcal{IQ }$$ .
Year
DOI
Venue
2014
10.1007/s10115-013-0641-y
Knowledge and Information Systems
Keywords
Field
DocType
fuzzy nominals,fuzzy-$$\mathcal{shoiq } $$,fuzzy description logics,reasoning,fuzzy-$$\mathcal{sroiq } $$
Discrete mathematics,Computer science,Fuzzy logic,Description logic,Rotation formalisms in three dimensions,Web Ontology Language,Ontology language
Journal
Volume
Issue
ISSN
40
1
0219-3116
Citations 
PageRank 
References 
7
0.41
41
Authors
2
Name
Order
Citations
PageRank
Giorgos Stoilos1124167.47
Giorgos Stamou2120076.88