Minstrel Reloaded: From the Magic of Lisp to the Formal Semantics of OWL.
Federico PeinadoPablo GervásPublished in: TIDSE (2006)
Keyphrases
- formal semantics
- ontology languages
- learning theory
- knowledge representation
- programming language
- owl dl
- first order logic
- logical language
- reasoning problems
- formal language
- operational semantics
- semantic web
- theorem prover
- logical reasoning
- er model
- modelling language
- modeling language
- speech acts
- owl dl ontology
- semi automatic
- web ontology language
- database management systems
- software engineering
- knowledge base
- machine learning