Formal Languages and Reasoning Publications

Journals

Open Answer Set Programming with Guarded Programs. Stijn Heymans, Davy Van Nieuwenborgh and Dirk Vermeir. In ACM Transactions on Computational Logic (TOCL), ACM, 2006. Accepted for Publication.

Conceptual Logic Programs. Stijn Heymans, Davy Van Nieuwenborgh and Dirk Vermeir. In Annals of Mathematics and Artificial Intelligence (Special Issue on Answer Set Programming), Springer Netherlands, 2006.

Open Answer Set Programming for the Semantic Web. Stijn Heymans, Davy Van Nieuwenborgh and Dirk Vermeir. In Journal of Applied Logic, Elsevier, 2006. Accepted for publication.

Conferences

Jos de Bruijn and Stijn Heymans. A semantic framework for language layering in WSML. In Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR2007), Innsbruck, Austria, June 7-8 2007. Springer.

Jos de Bruijn, David Pearce, Axel Polleres, and Agustín Valverde. Quantified equilibrium logic and hybrid rules. In Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR2007), Innsbruck, Austria, June 7-8 2007. Springer.

Jos de Bruijn, Thomas Eiter, Axel Polleres, and Hans Tompits. Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, January 6-12 2007.

Jos de Bruijn and Stijn Heymans. Translating ontologies from predicate-based to frame-based languages. In Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML-2006, Athens, Georgia, USA, November 10-11 2006. IEEE.

Jos de Bruijn, Thomas Eiter, Axel Polleres, and Hans Tompits. On representational issues about combinations of classical theories with nonmonotonic rules. In Proceedings of the First International Conference on Knowledge Science, Engineering and Management (KSEM'06), number 4092 in Lecture Notes in Artificial Intelligence, Guilin, China, August 5-8 2006. Springer-Verlag.

Uwe Keller, Holger Lausen and Michael Stollberg. On the Semantics of Functional Descriptions of Web Services In Proceedings of the 3rd European Semantic Web Conference (ESWC2006). Budva, Montenegro, June 2006.

Axel Polleres, Cristina Feier, and Andreas Harth. Rules with contextually scoped negation. In Proceedings of the 3rd European Semantic Web Conference (ESWC2006), volume 4011 of Lecture Notes in Computer Science (LNCS), Budva, Montenegro, June 2006. Springer.

Jos de Bruijn, Holger Lausen, Axel Polleres, and Dieter Fensel. The web service modeling language: An overview. In Proceedings of the 3rd European Semantic Web Conference (ESWC2006), Budva, Mon- tenegro, June 2006. Springer-Verlag.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. ESWC 2005: 392-407

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Guarded Open Answer Set Programming. LPNMR 2005: 92-104

Jos de Bruijn, Axel Polleres, Ruben Lara, and Dieter Fensel. OWL DL vs. OWL Flight: Conceptual modeling and reasoning on the se- mantic web. In Proceedings of the 14th International World Wide Web Conference (WWW2005), Chiba, Japan, 2005. ACM.

Michael Kifer, Jos de Bruijn, Harold Boley, and Dieter Fensel. A realistic architecture for the semantic web. In Proceedings of the International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML-2005), Ireland, Galway, November 2005.

Workshops

Stijn Heymans, Livia Predoiu, Cristina Feier, Jos de Bruijn, and Davy Van Nieuwenborgh. G-hybrid knowledge bases. In Proceedings of the ICLP'06 Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS2006), pages 39-54, Seattle, Washington, USA, August 16 2006.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Guarded Open Answer Set Programming with Generalized Literals. FoIKS 2006: 179-200

Jos de Bruijn, Enrico Franconi, and Sergio Tessaris. Logical reconstruction of RDF and ontology languages. In Third Workshop on Principles and Practice of Semantic Web Reasoning, Dagstuhl, Germany, September 2005.

Jos de Bruijn, Enrico Franconi, and Sergio Tessaris. Logical reconstruction of normative RDF. In OWL: Experiences and Directions Workshop (OWLED-2005), Galway, Ireland, November 2005.

Zhilei Ma, Branimir Wetzstein, Darko Anicic, Stijn Heymans, Frank Leymann. Semantic Business Process Repository, In Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management (SBPM 2007), in conjunction with the 4th European Semantic Web Conference (ESWC 2007).

Standards Submissions

Jurgen Angele, Harold Boley, Jos de Bruijn, Dieter Fensel, Pascal Hitzler, Michael Kifer, Reto Krummenacher, Holger Lausen, Axel Polleres, and Rudi Studer. Web rule language (WRL). W3C Member Submission 09 September 2005, 2005.

Jos de Bruijn, Dieter Fensel, Uwe Keller, Michael Kifer Holger Lausen, Reto Krummenacher, Axel Polleres, and Livia Predoiu. Web service modeling language (WSML). W3C Member Submission 3 June 2005, 2005.