Dear all, (01)
thanks, Michael, for the FOIS summary. (02)
2012-08-01 16:37 Peter Yim:
> Congratulations, Till, Christoph and Oliver for getting the Best
> FOIS-2012 Paper Award. ... Will you share that paper openly with the
> community, please? (03)
Our FOIS paper can be found at
http://www.informatik.uni-bremen.de/~till/papers/DOLsemantics.pdf
(abstract:
http://www.informatik.uni-bremen.de/agbkb/publikationen/bibsearch/detail_e.htm?pk_int=2923). (04)
Note: This paper focuses, as the title says, on the semantics of DOL.
Further concrete examples of the _syntax_ can be found in this paper:
http://www.informatik.uni-bremen.de/~okutz/DOL-TKE2012.pdf (05)
Christoph Lange, Till Mossakowski, Oliver Kutz, Christian Galinski,
Michael Grüninger, Daniel Couto Vale. The Distributed Ontology Language
(DOL): Use Cases, Syntax, and Extensibility; in Terminology and
Knowledge Engineering Conference (TKE), , 2012-06-20/2012-06-21 in
Madrid, Spain; 2012. (06)
For details on how the translations between the different logics are
_implemented_, please see (07)
Christoph Lange, Till Mossakowski, Oliver Kutz. LoLa: A Modular Ontology
of Logics, Languages, and Translations; in Thomas Schneider, Dirk
Walther, eds.: Modular Ontologies, 6th International Workshop (WoMO),
2012-07-24 in Graz, Austria; 2012.
http://CEUR-WS.org/Vol-875/ (08)
Cheers, (09)
Christoph (010)
--
Christoph Lange, Universität Bremen (now: University of Birmingham)
http://kwarc.info/clange, Skype duke4701 (011)
→ Building & Exploring Web Based Environments. Seville, Spain, 27 Jan–
1 Feb 2013. Deadline 2 Sep. http://iaria.org/conferences2013/WEB13.html (012)
_________________________________________________________________
To Post: mailto:ontoiop-forum@xxxxxxxxxxxxxxxx
Message Archives: http://ontolog.cim3.net/forum/ontoiop-forum/
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/ontoiop-forum/
Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntoIOp (013)
|