Proof Explanation for the Semantic Web Using Defeasible Logic.

Grigoris Antoniou Antonis Bikakis Nikos Dimaresis Manolis Genetzakis Giannis Georgalis Guido Governatori Efie Karouzaki Nikolaos Kazepis Dimitris Kosmadakis Manolis Kritsotakis Giannis Lilis Antonis Papadogiannakis Panagiotis Pediaditis Constantinos Terzakis Rena Theodosaki Dimitris Zeginis

Published in: KSEM (2007)

Keyphrases

defeasible logic
semantic web
defeasible reasoning
extended logic programs
knowledge representation
rule base
business rules
knowledge representation and reasoning
theorem prover
nonmonotonic reasoning
knowledge base
theorem proving
database
neural network
metadata
logic programming