| A |
| Android | |
| B |
| benchmark | |
| benchmarking | |
| C |
| challenging | |
| clinical decision support | |
| Consequence-based Calculus | |
| D |
| data mining ontology | |
| Database generation | |
| Description Logics | |
| DL reasoning | |
| E |
| EL | |
| Experimental evaluation | |
| F |
| FaCT++ | |
| H |
| HermiT | |
| I |
| Incremental reasoning | |
| inverse properties | |
| J |
| Justifications | |
| M |
| Matchmaking | |
| MinAs | |
| mobile devices | |
| modularization | |
| N |
| Non-standard inferences | |
| O |
| ontology | |
| ontology based query answering | |
| Ontology-based data access | |
| open street map | |
| OWL | |
| OWL 2 reasoners | |
| OWL Reasoner | |
| OWLlink | |
| P |
| pharmacogenomics | |
| Q |
| query answering | |
| R |
| reasoner performance | |
| reasoners | |
| rich | |
| S |
| Semantic Web of Things | |
| T |
| Tool description | |
| TReasoner | |
| U |
| Ubiquitous computing | |