Formal Semantics-Preserving Translation from Fuzzy ER Model to Fuzzy OWL DL Ontology.

Fu Zhang Zong Min Ma Yanhui Lv Xing Wang

Published in: Web Intelligence (2008)

Keyphrases

owl dl ontology
formal semantics
er model
entity relationship
fuzzy ontology
relational database systems

database design
database schema
conceptual schema
owl dl
operational semantics

dl lite
modeling language
theorem prover
ontology languages
first order logic

conceptual modeling
knowledge base
reasoning problems
description logics
expert systems