@conference {96,
	title = {Reasoning with Fuzzy-EL+ Ontologies Using MapReduce},
	booktitle = {ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track},
	volume = {242},
	year = {2012},
	pages = {933{\textendash}934},
	publisher = {IOS Press},
	organization = {IOS Press},
	address = {Montpellier, France},
	abstract = {<p class="rtejustify">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.</p>
},
	doi = {10.3233/978-1-61499-098-7-933},
	url = {http://dx.doi.org/10.3233/978-1-61499-098-7-933},
	author = {Zhangquan Zhou and Guilin Qi and Chang Liu and Pascal Hitzler and Raghava Mutharaju},
	editor = {Luc De Raedt and Christian Bessi{\`e}re and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter J. F. Lucas}
}
@conference {95,
	title = {Reconciling OWL and Non-monotonic Rules for the Semantic Web},
	booktitle = {ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track},
	volume = {242},
	year = {2012},
	pages = {474{\textendash}479},
	publisher = {IOS Press},
	organization = {IOS Press},
	address = {Montpellier, France},
	abstract = {<p class="rtejustify">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 {\textquotedblleft}look and feel{\textquotedblright} of a description logic and avoids hybrid or first-order syntaxes.</p>
},
	doi = {10.3233/978-1-61499-098-7-474},
	url = {http://dx.doi.org/10.3233/978-1-61499-098-7-474},
	author = {Matthias Knorr and Pascal Hitzler and Frederick Maier},
	editor = {Luc De Raedt and Christian Bessi{\`e}re and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter J. F. Lucas}
}
