Stijn Heymans

According to our database, Stijn Heymans authored at least 63 papers between 2002 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Representing Roles in a Biology Textbook.

Vinay K. Chaudhri, Nikhil Dinesh, Stijn Heymans

Proceedings of the 1st Joint Workshop ONTO.COM / ODISE on Ontologies in Conceptual Modeling and Information Systems Engineering co-located with 8th International Conference on Formal Ontology in Information Systems, 2014

Conceptual Models of Energy Transfer and Regulation.

Vinay K. Chaudhri, Nikhil Dinesh, Stijn Heymans

Proceedings of the Formal Ontology in Information Systems, 2014

The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract).

Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar

Proceedings of the Specification, Algebra, and Software, 2014

Large-Scale Analogical Reasoning.

Vinay K. Chaudhri, Stijn Heymans, Adam Overholtzer, Aaron Spaulding, Michael A. Wessel

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Reasoning with Forest Logic Programs and f-hybrid knowledge bases.

Cristina Feier, Stijn Heymans

Theory Pract. Log. Program., 2013

Object-Oriented Knowledge Bases in Logic Programming.

Vinay K. Chaudhri, Stijn Heymans, Son Tran, Michael A. Wessel

Theory Pract. Log. Program., 2013

Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP.

Vinay K. Chaudhri, Stijn Heymans, Michael A. Wessel, Tran Cao Son

CoRR, 2013

KB_Bio_101 : A Challenge for OWL Reasoners.

Vinay K. Chaudhri, Michael A. Wessel, Stijn Heymans

Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013

Automatic Strengthening of Graph-Structured Knowledge Bases - Or: How to Identify Inherited Content in Concept Graphs.

Vinay K. Chaudhri, Nikhil Dinesh, Stijn Heymans, Michael A. Wessel

Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2013

"What if there was no oxygen?": responding to hypothetical questions in an intelligent tutoring agent.

Neil Yorke-Smith, Stijn Heymans, Vinay K. Chaudhri

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

KB_Bio_101: a repository of graph-structured knowledge.

Vinay K. Chaudhri, Michael A. Wessel, Stijn Heymans

Proceedings of the 2nd International Workshop on Exploiting Large Knowledge Repositories, 2012

The DReW System for Nonmonotonic DL-Programs.

Guohui Xiao, Thomas Eiter, Stijn Heymans

Proceedings of the Semantic Web and Web Science, 2012

Semantic Web Services Fundamentals.

Stijn Heymans, Jörg Hoffmann, Annapaola Marconi, Joshua Phillips, Ingo Weber

Proceedings of the Handbook of Service Description - USDL and Its Methods, 2012

2011

Semantic validation of the use of SNOMED CT in HL7 clinical documents.

Stijn Heymans, Matthew McKennirey, Joshua Phillips

J. Biomed. Semant., 2011

2010

Logical Foundations of RDF(S) with Datatypes.

Jos de Bruijn, Stijn Heymans

J. Artif. Intell. Res., 2010

An Optimization for Reasoning with Forest Logic Programs

Cristina Feier, Stijn Heymans

CoRR, 2010

F-Logic#: Loosely Coupling F-Logic Rules and Ontologies.

Stijn Heymans, Roman Korf, Michael Erdmann, Jörg Pührer, Thomas Eiter

Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010

Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs.

Jörg Pührer, Stijn Heymans, Thomas Eiter

Proceedings of the Semantic Web: Research and Applications, 2010

Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics.

Stijn Heymans, Thomas Eiter, Guohui Xiao

Proceedings of the ECAI 2010, 2010

2009

A Reasoner for Simple Conceptual Logic Programs.

Stijn Heymans, Cristina Feier, Thomas Eiter

Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

Complexity of the Stable Model Semantics for Queries on Incomplete Databases.

Jos de Bruijn, Stijn Heymans

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm.

Uwe Keller, Stijn Heymans

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

Hybrid Reasoning with Forest Logic Programs.

Cristina Feier, Stijn Heymans

Proceedings of the Semantic Web: Research and Applications, 2009

2008

Guarded hybrid knowledge bases.

Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh

Theory Pract. Log. Program., 2008

Open answer set programming with guarded programs.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

ACM Trans. Comput. Log., 2008

Towards Pattern-Based Reasoning for Friendly Ontology Debugging.

Mustafa Jarrar, Stijn Heymans

Int. J. Artif. Intell. Tools, 2008

On the Relationship between Description Logic-based and F-Logic-based Ontologies.

Jos de Bruijn, Stijn Heymans

Fundam. Informaticae, 2008

Ontology Reasoning with Large Data Repositories.

Stijn Heymans, Li Ma, Darko Anicic, Zhilei Ma, Nathalie Steinmetz, Yue Pan, Jing Mei, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas, Cristina Feier, Graham Hench, Branimir Wetzstein, Uwe Keller

Proceedings of the Ontology Management, 2008

Deciding Fuzzy Description Logics by Type Elimination.

Uwe Keller, Stijn Heymans

Proceedings of the Fourth International Workshop on Uncertainty Reasoning for the Semantic Web, 2008

Ranking Services Using Fuzzy HEXPrograms.

Stijn Heymans, Ioan Toma

Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories.

Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock

Proceedings of the Logic Programming, 24th International Conference, 2008

The SAT-Tableau Calculus.

Uwe Keller, Stijn Heymans

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

Open answer set programming for the semantic web.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

J. Appl. Log., 2007

Spinning a Corporate Semantic Web for Product Engineering.

Uwe Keller, Stijn Heymans, Alois Reitbauer, Michael Neswal

Proceedings of the WEBIST 2007, 2007

Logical Foundations of (e)RDF(S): Complexity and Reasoning.

Jos de Bruijn, Stijn Heymans

Proceedings of the Semantic Web, 2007

A Semantic Framework for Language Layering in WSML.

Jos de Bruijn, Stijn Heymans

Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Two-Phase Web Service Discovery Based on Rich Functional Descriptions.

Michael Stollberg, Uwe Keller, Holger Lausen, Stijn Heymans

Proceedings of the Semantic Web: Research and Applications, 2007

Semantic Business Process Repository.

Zhilei Ma, Branimir Wetzstein, Darko Anicic, Stijn Heymans, Frank Leymann

Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management SBPM 2007, 2007

RDF and Logic: Reasoning and Extension.

Jos de Bruijn, Stijn Heymans

Proceedings of the 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 2007

2006

Conceptual logic programs.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Ann. Math. Artif. Intell., 2006

A Semantically Enabled Service Oriented Architecture.

Darko Anicic, Michael L. Brodie, Jos de Bruijn, Dieter Fensel, Thomas Haselwanter, Martin Hepp, Stijn Heymans, Jörg Hoffmann, Mick Kerrigan, Jacek Kopecký, Reto Krummenacher, Holger Lausen, Adrian Mocan, James Scicluna, Ioan Toma, Michal Zaremba

Proceedings of the Web Intelligence Meets Brain Informatics, 2006

Translating Ontologies from Predicate-based to Frame-based Languages.

Jos de Bruijn, Stijn Heymans

Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2006

Cooperating Answer Set Programming.

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir

Proceedings of the Logic Programming, 22nd International Conference, 2006

Guarded Open Answer Set Programming with Generalized Literals.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Proceedings of the Foundations of Information and Knowledge Systems, 2006

Unsatisfiability Reasoning in ORM Conceptual Schemes.

Mustafa Jarrar, Stijn Heymans

Proceedings of the Current Trends in Database Technology - EDBT 2006, 2006

Approximating Extended Answer Sets.

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming.

Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir

Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

2005

Preferential Reasoning on a Web of Trust.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

An Ordered Logic Program Solver.

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

Guarded Open Answer Set Programming.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Synthesis from Temporal Specifications Using Preferred Answer Set Programming.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Proceedings of the Semantic Web: Research and Applications, 2005

Intelligence Analysis Using Quantitative Preferences.

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir

Proceedings of the Answer Set Programming, 2005

Extending Conceptual Logic Programs with Arbitrary Rules.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Proceedings of the Answer Set Programming, 2005

2004

Semantic Web Reasoning with Conceptual Logic Programs.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Proceedings of the Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, 2004

Weighted Answer Sets and Applications in Intelligence Analysis.

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir

Proceedings of the Logic for Programming, 2004

Hierarchical Decision Making by Autonomous Agents.

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

On Programs with Linearly Ordered Multiple Preferences.

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir

Proceedings of the Logic Programming, 20th International Conference, 2004

2003

Integrating Description Logics and Answer Set Programming.

Stijn Heymans, Dirk Vermeir

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003

Integrating Ontology Languages and Answer Set Programming.

Stijn Heymans, Dirk Vermeir

Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA'03), 2003

Integrating Semantic Web Reasoning and Answer Set Programming.

Stijn Heymans, Dirk Vermeir

Proceedings of the Answer Set Programming, 2003

2002

Using Preference Order in Ontologies.

Stijn Heymans, Dirk Vermeir

Proceedings of the 13th International Workshop on Database and Expert Systems Applications (DEXA 2002), 2002

A Defeasible Ontology Language.

Stijn Heymans, Dirk Vermeir

Proceedings of the On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30, 2002