KR Group: Rozdiel medzi revíziami
| Riadok 11: | Riadok 11: | ||
* Semantic Web | * Semantic Web | ||
* Ontologies | * Ontologies | ||
| − | |||
| − | |||
| − | |||
| − | |||
== Group Members == | == Group Members == | ||
| Riadok 25: | Riadok 21: | ||
*Peter Klimo | *Peter Klimo | ||
*[http://ii.fmph.uniba.sk/~siska/ Jozef Šiška] | *[http://ii.fmph.uniba.sk/~siska/ Jozef Šiška] | ||
| + | |||
| + | == Activities == | ||
| + | |||
| + | KR Group orgainizes irregular sessions of the [[KR Seminar]] where the group members and sometimes invited speakes present latest advances in their research. | ||
| + | |||
| + | == Projects == | ||
| + | |||
| + | == Selected Recent Publications == | ||
| + | |||
| + | * Martin Homola and Luciano Serafini. [http://ii.fmph.uniba.sk/~homola/papers/krow2008.pdf Towards Distributed Tableaux Reasoning Procedure for DDL with Increased Subsumption Propagation between Remote Ontologies]. In: Thomas Meyer and Mehmet A. Orgun (eds.), Advances in Ontologies, Procs. of Knowledge Representation Ontology Workshop (KROW 2008). Sydney, Australia. Australian Computer Society, CRPIT, vol. 90, September 17, 2008. | ||
| + | * Juraj Frank and Martin Homola. [http://kedrigern.dcs.fmph.uniba.sk/reports/download.php?id=15 Ontology-driven Categorization of Blog Postings: A Scenario]. Technical report no. TR-2008-014, Comenius University, Faculty of Mathematics Physics and Informatics, Bratislava, Slovakia, 2008. | ||
| + | * Martin Homola. [http://ii.fmph.uniba.sk/~homola/papers/dl2008.pdf Subsumption Propagation between Remote Ontologies in Distributed Description Logic]. In: Franz Baader, Carsten Lutz and Boris Motik (eds.), Pocs. of the 21st International Workshop on Description Logics (DL2008). Dresden, Germany. CEUR-WS, vol. 353, 2008. | ||
| + | * Martin Homola. [http://ii.fmph.uniba.sk/~homola/papers/dl2007.pdf Distributed Description Logics Revisited]. In: Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Sergio Tessaris and Anni-Yasmin Turhan (eds.), Pocs. of the 20th International Workshop on Description Logics (DL' 07). Brixen/Bressanone, Italy. Bozen-Bolzano University Press, CEUR-WS, vol. 250, 2007 | ||
Verzia zo dňa a času 11:07, 23. október 2008
The KR research group at DAI, chaired by Ján Šefránek, is concerned with (mostly theoretical) research in Knowledge Representation (KR).
Group Focus
Our main interests within KR include:
- Non-monotonic logics and non-monotonic reasoning
- Knowledge revision
- Answer set programming
- Dynamic logic programming
- Semantic Web
- Ontologies
Group Members
- Ján Šefránek (group chair)
- Martin Baláž
- Martin Homola
- Michal Malý
- Peter Klimo
- Jozef Šiška
Activities
KR Group orgainizes irregular sessions of the KR Seminar where the group members and sometimes invited speakes present latest advances in their research.
Projects
Selected Recent Publications
- Martin Homola and Luciano Serafini. Towards Distributed Tableaux Reasoning Procedure for DDL with Increased Subsumption Propagation between Remote Ontologies. In: Thomas Meyer and Mehmet A. Orgun (eds.), Advances in Ontologies, Procs. of Knowledge Representation Ontology Workshop (KROW 2008). Sydney, Australia. Australian Computer Society, CRPIT, vol. 90, September 17, 2008.
- Juraj Frank and Martin Homola. Ontology-driven Categorization of Blog Postings: A Scenario. Technical report no. TR-2008-014, Comenius University, Faculty of Mathematics Physics and Informatics, Bratislava, Slovakia, 2008.
- Martin Homola. Subsumption Propagation between Remote Ontologies in Distributed Description Logic. In: Franz Baader, Carsten Lutz and Boris Motik (eds.), Pocs. of the 21st International Workshop on Description Logics (DL2008). Dresden, Germany. CEUR-WS, vol. 353, 2008.
- Martin Homola. Distributed Description Logics Revisited. In: Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Sergio Tessaris and Anni-Yasmin Turhan (eds.), Pocs. of the 20th International Workshop on Description Logics (DL' 07). Brixen/Bressanone, Italy. Bozen-Bolzano University Press, CEUR-WS, vol. 250, 2007