The top documents tagged [knowledge representations]
Overall presentation Matram project
74 views
OpenHPI 5.3 - Tableaux Algorithm for ALC
308 views
OpenHPI 5.4 - Web Ontology Language
741 views
OpenHPI 4.7 - Resolution
335 views
OpenHPI 4.5 - Foundations of Logic
596 views
OpenHPI 4.4 - Ontology Types
406 views