The Logic of Extensional RDFS.

Enrico Franconi Claudio Gutiérrez Alessandro Mosca Giuseppe Pirrò Riccardo Rosati

Published in: ISWC (1) (2013)

Keyphrases

modal logic
data model
query language
logic programming
semantic web
classical logic
database
data sets
information systems
temporal logic
inference rules
probability theory
predicate logic
logic programs
digital circuits
proof theory