The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics.
Deyan GinevMihnea IancuConstantin JucovshiAndrea KohlhaseMichael KohlhaseAkbar OripovJürgen SchefterWolfram SperberOlaf TeschkeTom WiesingPublished in: ICMS (2016)
Keyphrases
- domain specific
- upper level
- knowledge repository
- domain knowledge
- project management
- case study
- computer science
- domain ontology
- knowledge base
- semantically enhanced
- semantic information
- semantic web
- snomed ct
- semantic annotation
- general purpose
- software projects
- semantic relationships
- computer assisted instruction
- ontology mapping
- knowledge representation
- expert systems
- computer algebra
- ontology matching
- ontological framework
- artificial intelligence
- formal logic
- knowledge resources
- ontology driven
- co occurrence
- software development