Autor der Publikation

CASL Logic

, , , und . CASL Reference Manual, Volume 2960 von Lecture Notes in Computer Science, Kapitel ÏV, Springer Verlag, London, Ëdited by T. Mossakowski.(2004)

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

Heterogeneous Theories and the Heterogeneous Tool Set.. Semantic Interoperability and Integration, Volume 04391 von Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2005)Extending OWL2 Manchester Syntax to Include Missing Features from OWL2 Abstract Syntax., und . Description Logics, Volume 3515 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Generic ontology design patterns at work, , und . JOWO 2019 The Joint Ontology Workshops, Volume 2518 von IAOA-Series, CEUR-WS, (2019)Learning chemistry: exploring the suitability of machine learning for the task of structure-based chemical ontology classification, , , , und . Journal of Cheminformatics, 13 (1): 23 (2021)Semantics of the Distributed Ontology Language: Institutes and Institutions, , und . Recent Trends in Algebraic Development Techniques, 7841, Seite 212--230. Springer, (2013)Hets for Common Logic Users, , , , und . (2013)Towards a Standard for Heterogeneous Ontology Integration and Interoperability, , , und . First International Conference on Terminology, Language and Content Resources (LaRC), Seite 101--110. KATS, (Juni 2011)Standard annotations for parsers and static semantic checkers - a proposal. (1998)CoFI note T-6.Two "functional programming" sublanguages of CASL. (1998)CoFI note L-9.Heterogeneously Structured Ontologies: Integration, Connection, and Refinement, , und . Knowledge Representation Ontology Workshop, KR-08, Sydney, Australia, Volume 90 von CRPIT, (2008)