Proof explanation for a nonmonotonic Semantic Web rules language von Antoniou, Grigoris, Bikakis, Antonis, Dimaresis, Nikos, Genetzakis, Manolis, Georgalis, Giannis, Governatori, Guido, Karouzaki, Efie, Kazepis, Nikolas, Kosmadakis, Dimitris, Kritsotakis, Manolis, Lilis, Giannis, Papadogiannakis, Antonis, Pediaditis, Panagiotis, Terzakis, Constantinos, Theodosaki, Rena, Zeginis, Dimitris

Volltext