Research questions
•
1) Haskell spec of RDF inference program
•
2) Soundness and completeness
•
3) What logics?
•
4) optimization
•
5) inconsistency
3)
Which kind of logic is best suited for the Semantic Web?
Using rules; making queries; finding solutions; this is the subject of logic. So the relevance of logic for an inferencing standard based on top of RDF has to be investigated