The top documents tagged [semanticharald sack]
OpenHPI 5.3 - Tableaux Algorithm for ALC
311 views
OpenHPI 5.4 - Web Ontology Language
744 views
OpenHPI 5.2 - DL Inference and Reasoning
304 views
OpenHPI 4.5 - Foundations of Logic
597 views
OpenHPI 4.4 - Ontology Types
407 views