Explanation of Proofs of Regulatory (Non-)Compliance Using Semantic Vocabularies.

Sagar Sunkle Deepali Kholkar Vinay Kulkarni

Published in: RuleML (2015)

Keyphrases

semantic web
semantic information
high level
natural language
context dependent
semantically equivalent
knowledge organization
semantic level
semantic annotation
information systems
semantic features
semantic relationships
semantic content
semantic knowledge
theorem proving
semantic similarity
equational theories