Casini G., Straccia U.
RDFS Non-monotonic reasoning Defeasible reasoning Rational closure
For non-monotonic logics, the notion of Rational Closure (RC) is acknowledged as one of the main approaches. In this work we present an integration of RC within the triple language RDFS (Resource Description Framework Schema), which together with OWL 2 is a major standard semantic web ontology language. To do so, we start from ?df, an RDFS fragment that covers the essential features of RDFS, and extend it to ?df?, allowing to state that two entities are incompatible/disjoint with each other. Eventually, we propose defeasible ?df? via a typical RC construction allowing to state default class/property inclusions.
Source: NMR 2022 - International Workshop on Non-Monotonic Reasoning 2022, pp. 155–158, Haifa, Israel, 07-09/08/2022
@inproceedings{oai:it.cnr:prodotti:470248, title = {Defeasible reasoning in RDFS}, author = {Casini G. and Straccia U.}, booktitle = {NMR 2022 - International Workshop on Non-Monotonic Reasoning 2022, pp. 155–158, Haifa, Israel, 07-09/08/2022}, year = {2022} }