Research on Component Composition and Replacement with Formal Semantics.

Ruzhi Xu Quansheng Wu Peiguang Lin

Published in: J. Softw. (2011)

Keyphrases

formal semantics
first order logic
formal language
er model
operational semantics
logical language
speech acts
logical reasoning
modeling language
owl dl ontology
theorem prover
modelling language
expert systems
ontology languages
case study
databases
database