Autor der Publikation

Towards Typed Higher-Order Description Logics

, , , und . Description Logics, Volume 1014 von CEUR Workshop Proceedings, Seite 221-233. CEUR-WS.org, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Patterns for Referring to Multiple Indirectly Specified Objects (MISO): Analysis and Guidelines., , , , und . WOP (Book), Volume 51 von Studies on the Semantic Web, Seite 1-24. IOS Press, (2021)Tracking the Adaptive Learning Process with Topics Ontology., , , und . ICWL, Volume 14409 von Lecture Notes in Computer Science, Seite 155-165. Springer, (2023)Knowledge-Based Dataset for Training PE Malware Detection Models., , , und . CoRR, (2023)Towards Typed Higher-Order Description Logics, , , und . Description Logics, Volume 1014 von CEUR Workshop Proceedings, Seite 221-233. CEUR-WS.org, (2013)Mapping structural design patterns in OWL to ontological background models., , , und . K-CAP, Seite 117-120. ACM, (2013)Focused categorization power of ontologies: General framework and study on simple existential concept expressions., , , , , und . Semantic Web, 14 (6): 1209-1253 (2023)Towards Typed Higher-Order Description Logics., , , und . Description Logics, Volume 1014 von CEUR Workshop Proceedings, Seite 221-233. CEUR-WS.org, (2013)B-Annot: Supplying Background Model Annotations for Ontology Coherence Testing., , , , und . WoDOOM, Volume 1162 von CEUR Workshop Proceedings, Seite 59-66. CEUR-WS.org, (2014)Educational Code-Review Tool: A First Glimpse., , , und . MIS4TEL, Volume 580 von Lecture Notes in Networks and Systems, Seite 113-122. Springer, (2022)Expressive Description Logic with Instantiation Metamodelling., , und . KR, Seite 569-572. AAAI Press, (2016)