LOWL: Logic and OWL, an Extension.

Mehran Mohsenzadeh Fereidoon Shams Mohammad Teshnehlab

Published in: WEC (2) (2005)

Keyphrases

semantic web
knowledge representation
classical logic
logical framework
proof theoretic
semantic web technologies
multi valued
owl ontologies
linear time temporal logic
expert systems
logic programming
modal logic
defeasible logic
epistemic logic
constraint language