Verification and Modularization of the DOLCE Upper Ontology.
Carmen ChuiMichael GruningerPublished in: JOWO (2017)
Keyphrases
- knowledge acquisition
- domain specific ontologies
- knowledge base
- domain specific
- knowledge representation
- model checking
- machine learning
- software design
- artificial intelligence
- signature verification
- ontology construction
- case study
- case based reasoning
- data sets
- formal verification
- verification method
- ontology reasoning