@article{Antoniou2007,
	title = {Proof Explanation for the Semantic Web Using Defeasible Logic},
	author = {Grigoris Antoniou and Antonis Bikakis and  Nikosdimaresis and Manolis Genetzakis and Giannis Georgalis and Guido Governatori and Efie Karouzaki and Nikolas Kazepis and Dimitris Kosmadakis and Manolis Kritsotakis and Giannis Lilis and Antonis Papadogiannakis and Panagiotis Pediaditis and Constantinos Terzakis and Rena Theodosaki and Dimitris Zeginis},
	journal = {KSEM 2007, LNAI},
	pages = {12},
	volume = {4798},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2cf836f4b6b3a2f8094391eef06b3c13a/fraktalek},
	abstract = {In this work we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic Web. If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs. Our system produces automatically proof explanations using a popular logic programming system (XSB), by interpreting the output from the proof’s trace and converting it into a meaningful representation. It also supports an XML representation (a RuleML language extension) for agent communication, which is a common scenario in the SemanticWeb. The system in essence implements a proof layer for nonmonotonic rules on the Semantic Web.},
	posted-at = {2008-11-13 14:13:52}, priority = {2}, citeulike-article-id = {3508718},
	keywords = {kiwi }
}

@article{journals/dke/AntoniouBDGGGKKKKLPPTTZ08,
	title = {Proof explanation for a nonmonotonic Semantic Web rules language.},
	author = {Grigoris Antoniou and Antonis Bikakis and Nikos Dimaresis and Manolis Genetzakis and Giannis Georgalis and Guido Governatori and Efie Karouzaki and Nikolas Kazepis and Dimitris Kosmadakis and Manolis Kritsotakis and Giannis Lilis and Antonis Papadogiannakis and Panagiotis Pediaditis and Constantinos Terzakis and Rena Theodosaki and Dimitris Zeginis},
	journal = {Data Knowl. Eng.},
	number = {3},
	pages = {662-687},
	url = {http://dblp.uni-trier.de/db/journals/dke/dke64.html#AntoniouBDGGGKKKKLPPTTZ08},
	volume = {64},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/22d0706919dafa40f7d72a19537abe243/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.datak.2007.10.006}, date = {2008-02-22},
	keywords = {dblp }
}

@inproceedings{conf/ksem/AntoniouBDGGGKKKKLPPTTZ07,
	title = {Proof Explanation for the Semantic Web Using Defeasible Logic.},
	author = {Grigoris Antoniou and Antonis Bikakis and Nikos Dimaresis and Manolis Genetzakis and Giannis Georgalis and Guido Governatori and Efie Karouzaki and Nikolas Kazepis and Dimitris Kosmadakis and Manolis Kritsotakis and Giannis Lilis and Antonis Papadogiannakis and Panagiotis Pediaditis and Constantinos Terzakis and Rena Theodosaki and Dimitris Zeginis},
	booktitle = {KSEM},
	crossref = {conf/ksem/2007},
	editor = {Zili Zhang and Jörg H. Siekmann},
	pages = {186-197},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/ksem/ksem2007.html#AntoniouBDGGGKKKKLPPTTZ07},
	volume = {4798},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/22cf21882b2f97f7e5a4ecf0b54ba9ba8/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-76719-0_21}, isbn = {978-3-540-76718-3}, date = {2007-11-28},
	keywords = {dblp }
}

@inproceedings{Zeginis/2007/Foundations,
	title = {On the Foundations of Computing Deltas between RDF models},
	address = {Berlin, Heidelberg},
	author = {Dimitris Zeginis and Yannis Tzitzikas and Vassilis Christophides},
	booktitle = {Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea},
	crossref = {http://data.semanticweb.org/conference/iswc-aswc/2007/proceedings},
	editor = {Karl Aberer and Key-Sun Choi and Natasha Noy and Dean Allemang and Kyung-Il Lee and Lyndon J B Nixon and Jennifer Golbeck and Peter Mika and Diana Maynard and Guus Schreiber and Philippe Cudré-Mauroux},
	month = {November},
	pages = {631--644},
	publisher = {Springer Verlag},
	series = {LNCS},
	url = {http://iswc2007.semanticweb.org/papers/631.pdf},
	volume = {4825},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2b371dc088473e2780f05be37b8030cc5/iswc2007},
	abstract = {The ability to compute the differences that exist between two RDF models is an important step to cope with the evolving nature of the Semantic Web (SW). In particular, RDF Deltas can be employed to reduce the amount of data that need to be exchanged and managed over the network and hence build advanced SW synchronization and versioning services. By considering Deltas as sets of change operations, in this paper we study various RDF comparison functions in conjunction with the semantics of the underlying change operations and formally analyze their possible combinations in terms of correctness, minimality, semantic identity and redundancy properties.},
	keywords = {2007 computing delta foundation iswc model rdf research_03 }
}

@inproceedings{conf/semweb/ZeginisTC07,
	title = {On the Foundations of Computing Deltas Between RDF Models.},
	author = {Dimitris Zeginis and Yannis Tzitzikas and Vassilis Christophides},
	booktitle = {ISWC/ASWC},
	crossref = {conf/semweb/2007},
	editor = {Karl Aberer and Key-Sun Choi and Natasha Fridman Noy and Dean Allemang and Kyung-Il Lee and Lyndon J. B. Nixon and Jennifer Golbeck and Peter Mika and Diana Maynard and Riichiro Mizoguchi and Guus Schreiber and Philippe Cudré-Mauroux},
	pages = {637-651},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/semweb/iswc2007.html#ZeginisTC07},
	volume = {4825},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/26136cbb87979e4697ad4a7df64efa993/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-76298-0_46}, isbn = {978-3-540-76297-3}, date = {2007-10-29},
	keywords = {dblp }
}