01175nas a2200265 4500008004100000245005600041210005400097260003500151300001400186490000800200520040900208100002000617700001500637700001500652700002000667700002300687700001800710700002500728700001900753700002100772700002000793700002000813700002400833856005200857 2012 eng d00aReasoning with Fuzzy-EL+ Ontologies Using MapReduce0 aReasoning with FuzzyEL Ontologies Using MapReduce aMontpellier, FrancebIOS Press a933–9340 v2423 a
Fuzzy extension of Description Logics (DLs) allows the formal representation and handling of fuzzy knowledge. In this paper, we consider fuzzy-EL+, which is a fuzzy extension of EL+. We first present revised completion rules for fuzzy-EL+ that can be handled by MapReduce programs. We then propose an algorithm for scale reasoning with fuzzy-EL+ ontologies based on MapReduce.
1 aZhou, Zhangquan1 aQi, Guilin1 aLiu, Chang1 aHitzler, Pascal1 aMutharaju, Raghava1 aDe Raedt, Luc1 aBessière, Christian1 aDubois, Didier1 aDoherty, Patrick1 aFrasconi, Paolo1 aHeintz, Fredrik1 aLucas, Peter, J. F. uhttp://dx.doi.org/10.3233/978-1-61499-098-7-93301450nas a2200241 4500008004100000245006500041210006400106260003500170300001400205490000800219520072100227100002000948700002000968700002100988700001801009700002501027700001901052700002101071700002001092700002001112700002401132856005201156 2012 eng d00aReconciling OWL and Non-monotonic Rules for the Semantic Web0 aReconciling OWL and Nonmonotonic Rules for the Semantic Web aMontpellier, FrancebIOS Press a474–4790 v2423 aWe propose a description logic extending SROIQ (the description logic underlying OWL 2 DL) and at the same time encompassing some of the most prominent monotonic and nonmonotonic rule languages, in particular Datalog extended with the answer set semantics. Our proposal could be considered a substantial contribution towards fulfilling the quest for a unifying logic for the Semantic Web. As a case in point, two non-monotonic extensions of description logics considered to be of distinct expressiveness until now are covered in our proposal. In contrast to earlier such proposals, our language has the “look and feel” of a description logic and avoids hybrid or first-order syntaxes.
1 aKnorr, Matthias1 aHitzler, Pascal1 aMaier, Frederick1 aDe Raedt, Luc1 aBessière, Christian1 aDubois, Didier1 aDoherty, Patrick1 aFrasconi, Paolo1 aHeintz, Fredrik1 aLucas, Peter, J. F. uhttp://dx.doi.org/10.3233/978-1-61499-098-7-474