Reasoning Support for SWRL-FOL Using Alloy.

Hai H. Wang Jin Song Dong Jing Sun

Published in: SEKE (2005)

Keyphrases

semantic web technologies
knowledge representation
first order logic
multiple representations
knowledge base
formal semantics
reasoning mechanisms