Login / Signup
A Logical Framework for Modularity of Ontologies.
Bernardo Cuenca Grau
Ian Horrocks
Yevgeny Kazakov
Ulrike Sattler
Published in:
IJCAI (2007)
Keyphrases
</>
logical framework
inference rules
belief revision
reasoning tasks
linear logic
epistemic logic
higher order logic
semantic web
knowledge base
knowledge representation
possibilistic logic
normative systems
spatial information
programming language
decision making
learning algorithm
machine learning