TY - CONF T1 - Reasoning with Fuzzy-EL+ Ontologies Using MapReduce T2 - ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track Y1 - 2012 A1 - Zhangquan Zhou A1 - Guilin Qi A1 - Chang Liu A1 - Pascal Hitzler A1 - Raghava Mutharaju ED - Luc De Raedt ED - Christian Bessière ED - Didier Dubois ED - Patrick Doherty ED - Paolo Frasconi ED - Fredrik Heintz ED - Peter J. F. Lucas AB -

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.

JF - ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track PB - IOS Press CY - Montpellier, France VL - 242 UR - http://dx.doi.org/10.3233/978-1-61499-098-7-933 ER - TY - CONF T1 - Reconciling OWL and Non-monotonic Rules for the Semantic Web T2 - ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track Y1 - 2012 A1 - Matthias Knorr A1 - Pascal Hitzler A1 - Frederick Maier ED - Luc De Raedt ED - Christian Bessière ED - Didier Dubois ED - Patrick Doherty ED - Paolo Frasconi ED - Fredrik Heintz ED - Peter J. F. Lucas AB -

We 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.

JF - ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track PB - IOS Press CY - Montpellier, France VL - 242 UR - http://dx.doi.org/10.3233/978-1-61499-098-7-474 ER -