The top documents tagged [semanticharald sack]
OpenHPI 5.3 - Tableaux Algorithm for ALC
298 views
OpenHPI 5.4 - Web Ontology Language
730 views
OpenHPI 5.2 - DL Inference and Reasoning
297 views
OpenHPI 4.5 - Foundations of Logic
586 views
OpenHPI 4.4 - Ontology Types
394 views