Using Ontologies in Formal Developments Targeting Certification.
Achim D. BruckerBurkhart WolffPublished in: IFM (2019)
Keyphrases
- machine processable
- formal ontologies
- ontological engineering
- semantic mapping
- knowledge base
- semantic web
- precisely defined
- formal representation
- third party
- knowledge representation
- ontology mapping
- semantic web technologies
- ontology alignment
- semantic technologies
- formal model
- domain specific
- description logics
- information systems
- databases
- information integration
- domain ontology
- formal specification
- background knowledge
- ontology merging
- dl lite
- paradigm shift
- semantic relations
- object oriented
- domain knowledge
- artificial intelligence