WWW
2006
ACM
15 years 5 days ago
2006
ACM
Classical logics and Datalog-related logics have both been proposed as underlying formalisms for the Semantic Web. Although these two different formalism groups have some commonal...