Formal Semantics-Preserving Translation from Fuzzy ER Model to Fuzzy OWL DL Ontology.
Fu ZhangZong Min MaYanhui LvXing WangPublished 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