Login / Signup
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