Expressing High-Level Scientific Claims with Formal Semantics.

Cristina-Iulia Bucur Tobias Kuhn Davide Ceolin Jacco van Ossenbruggen

Published in: K-CAP (2021)

Keyphrases

formal semantics
high level
low level
first order logic
operational semantics
er model
logical reasoning
formal language
ontology languages
lower layers
logical language
speech acts
modelling language
artificial intelligence
theorem prover
expressive power
databases
open source
owl dl ontology