|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
4 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | On the computational realization of formal ontologies: Formalizing an ontology of instantiation in spacetime using Isabelle/HOL as a case study |
Bittner, Thomas |
2019 |
14 | 3 |
p. 251-292 |
artikel |
|
| 2 | OntoGamif: A modular ontology for integrated gamification |
Bouzidi, Rokia |
2019 |
14 | 3 |
p. 215-249 |
artikel |
|
| 3 | Quality assurance of complex ChEBI concepts based on number of relationship types |
Yumak, Hasan |
2019 |
14 | 3 |
p. 199-214 |
artikel |
|
| 4 | Representing a reference foundational ontology of events in SROIQ |
Botti Benevides, Alessander |
2019 |
14 | 3 |
p. 293-334 |
artikel |
4 gevonden resultaten