Login / Signup
A formal semantics for mOPS5.
Herbert Groiss
Published in:
ICTAI (1995)
Keyphrases
</>
formal semantics
first order logic
logical language
modeling language
logical reasoning
modelling language
er model
theorem prover
formal language
multi objective evolutionary algorithms
operational semantics
owl dl ontology
database
speech acts
owl dl
epistemic logic
ontology languages
domain knowledge
case study