Document - Reasoning within Fuzzy OWL 2 EL Revisited

2018

Journal article Open Access

Reasoning within Fuzzy OWL 2 EL Revisited

Bobillo F., Straccia U.

Fuzzy description logics Artificial Intelligence [ INFO ] Computer Science [cs] Tractable reasoning Logic [ INFO.INFO-AI ] Computer Science [cs]/Artificial Intelligence [cs.AI] Fuzzy ontologies

Description Logics (DLs) are logics with interesting representational and computational features and are at the core of the Web Ontology Language OWL 2 and its profiles among which there is OWL 2 EL. The main feature of OWL 2 EL is that instance/subsumption checking can be decided in polynomial time. On the other hand, fuzzy DLs have been proposed as an extension to classical DLs with the aim of dealing with fuzzy concepts and we focus here on Fuzzy OWL 2 EL under standard and Goedel semantics. We provide some reasoning algorithms showing that instance/subsumption checking decision problems remain polynomial time for Fuzzy OWL 2 EL. We also identify some issues in previous related work (essentially incompleteness problems).

Source: Fuzzy sets and systems 351 (2018): 1–40. doi:10.1016/j.fss.2018.03.011

Publisher: North-Holland, Amsterdam , Paesi Bassi

Metrics

Back to previous page

Cite as

BibTeX entry

@article{oai:it.cnr:prodotti:385836,
	title = {Reasoning within Fuzzy OWL 2 EL Revisited},
	author = {Bobillo F. and Straccia U.},
	publisher = {North-Holland, Amsterdam , Paesi Bassi},
	doi = {10.1016/j.fss.2018.03.011},
	journal = {Fuzzy sets and systems},
	volume = {351},
	pages = {1–40},
	year = {2018}
}