Line 11: Line 11:
 
* Semantic Web
 
* Semantic Web
 
* Ontologies
 
* Ontologies
 
== Activities ==
 
 
KR Group orgainizes irregular sessions of the [[KR Seminar]] where the group members and sometimes invited speakes present latest advances in their research.
 
  
 
== Group Members ==
 
== Group Members ==
Line 25: Line 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

Revision as of 12:07, 23 October 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

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