**Publications** 2002-2014 1. ( FOIS 2014 ) [Conceptual Models of Energy Transfer and Regulation](http://stijnheymans.net/pubs/fois2014.pdf) 1. ( AAAI 2014 ) [Large-Scale Analogical Reasoning](http://stijnheymans.net/pubs/aaai2014.pdf) 1. ( SAS 2014 ) [The Semantics of Datalog for the Evidential Tool Bus (Extended Abstract)](http://stijnheymans.net/pubs/sas2014.pdf) 1. ( GKRIJCAI 2013 ) [Automatic Strengthening of Graph-Structured Knowledge Bases](http://stijnheymans.net/pubs/gkrijcai2013.pdf) 1. ( ORE 2013 ) [KB\_Bio\_101: A Challenge for OWL Reasoners](http://stijnheymans.net/pubs/ore2013.pdf) 1. ( KInAR 2013 ) [KB\_Bio\_101: A Challenge for TPTP First-Order Reasoners](http://stijnheymans.net/pubs/kinar2013.pdf) 1. ( TC ICLP 2013 ) [Object-Oriented Knowledge Bases in Logic Programming](http://stijnheymans.net/pubs/iclp2013-tc.pdf) 1. ( ASPOCP 2013 ) [Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP](http://stijnheymans.net/pubs/aspocp.pdf) 1. ( AAMAS 2013 ) ["What If There Was No Oxygen?": Responding to Hypothetical Questions in an Intelligent Tutoring Agent (Extended Abstract)](http://stijnheymans.net/pubs/aamas2013.pdf) 1. ( E-LKR 2012 ) [KB\_Bio\_101: A Repository of Graph-Structured Knowledge](http://stijnheymans.net/pubs/elkr2012.pdf) 1. ( DKRC 2012 ) [Process Interruption Reasoning](http://stijnheymans.net/pubs/dkrc2012.pdf) 1. ( SWWS 2012 ) [The DReW System for Nonmonotonic DL-Programs](http://stijnheymans.net/pubs/swws2012.pdf) 1. ( TPLP 2011 ) [Reasoning with Forest Logic Programs and f-hybrid Knowledge Bases](http://stijnheymans.net/pubs/tplp2011.pdf) 1. ( Bio Sem 2011 ) [Semantic Validation of the Use of SNOMED CT in HL7 Clinical Documents](http://www.jbiomedsem.com/content/2/1/2) 1. ( USDL 2011 ) [Semantic Web Services Fundamentals](http://stijnheymans.net/pubs/ch6-usdlbook2011.pdf) 1. ( JAIR 2010 ) [Logical Foundations of RDF(S) with Datatypes](http://stijnheymans.net/pubs/jair2010.pdf) 1. ( ASPOCP 2010 ) [An Optimization for Reasoning with Forest Logic Programs](http://stijnheymans.net/pubs/aspocp.pdf) 1. ( WI 2010 ) [F-Logic\#: Loosely Coupling F-Logic Rules and Ontologies](http://stijnheymans.net/pubs/wi2010.pdf) 1. ( ECAI 2010 ) [Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics](http://stijnheymans.net/pubs/ecai2010.pdf) 1. ( ESWC 2010 ) [Dealing with Inconsistency when Combining Ontologies and Rules using DL-Programs](http://stijnheymans.net/pubs/eswc2010.pdf) 1. ( BuRO 2010 ) [DReW: a Reasoner for Datalog-rewritable Description Logics and DL-Programs](http://stijnheymans.net/pubs/buro2010.pdf) 1. ( LPNMR 2009 ) [Complexity of the Stable Model Semantics for Queries on Incomplete Databases](http://stijnheymans.net/pubs/lpnmr2009.pdf) 1. ( ESWC 2009 ) [Hybrid Reasoning with Forest Logic Programs](http://stijnheymans.net/pubs/eswc2009.pdf) 1. ( RR 2009 ) [A Reasoner for Simple Conceptual Logic Programs](http://stijnheymans.net/pubs/rr2009.pdf) 1. ( LFCS 2009 ) [Fuzzy Description Logic Reasoning using a Fixpoint Algorithm](http://stijnheymans.net/pubs/lfcs2009.pdf) 1. ( FI 2008 ) [On the Relationship between Description Logic-based and F-Logic-based Ontologies](http://stijnheymans.net/pubs/fi2007.pdf) 1. ( ALPSWS 2008 ) [A Sound and Complete Algorithm for Simple Conceptual Logic Programs](http://stijnheymans.net/pubs/alpsws2008.pdf) 1. ( TPLP 2008 ) [Guarded Hybrid Knowledge Bases](http://stijnheymans.net/pubs/tplp_alpsws2006.pdf) 1. ( Onto Mag 2008 ) [Ontology Reasoning with Large Data Repositories](http://stijnheymans.net/pubs/reasoninglarge.pdf) 1. ( ACM TOCL 2007 ) [Open Answer Set Programming with Guarded Programs](http://stijnheymans.net/pubs/tocl2007.pdf) 1. ( RR 2008 ) [Ranking Services Using Fuzzy HEX Programs](http://stijnheymans.net/pubs/rr2008.pdf) 1. ( ICLP 2008 ) [Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories](http://stijnheymans.net/pubs/iclp2008.pdf) 1. ( JAIT 2008 ) [Towards Pattern-Based Reasoning for Friendly Ontology Debugging](http://stijnheymans.net/pubs/JH08.pdf) 1. ( URSW 2008 ) [Deciding Fuzzy Description Logics by Type Elimination](http://stijnheymans.net/pubs/ursw2008.pdf) 1. ( DL 2008 ) [The SAT-Tableau Calculus](http://stijnheymans.net/pubs/dl2008.pdf) 1. ( ISWC/ASWC2007 ) [Logical Foundations of (e)RDF(S): Complexity and Reasoning](http://stijnheymans.net/pubs/iswc2007.pdf) 1. ( RR 2007 ) [A Semantic Framework for Language Layering in WSML](http://stijnheymans.net/pubs/rr2007.pdf) 1. ( WEBS 2007 ) [RDF and Logic: Reasoning and Extension](http://stijnheymans.net/pubs/webs2007.pdf) 1. ( JAL 2007 ) [Open Answer Set Programming for the Semantic Web](http://stijnheymans.net/pubs/jal2007.pdf) 1. ( WEBIST 2007 ) [Spinning a corporate Semantic Web for Product Engineering](http://stijnheymans.net/pubs/webist2007.pdf) 1. ( SBPM 2007 ) [Semantic Business Process Repository](http://stijnheymans.net/pubs/sbpm2007.pdf) 1. ( ESWC 2007 ) [Two-Phase Web Service Discovery Based on Rich Functional Descriptions](http://stijnheymans.net/pubs/eswc2007.pdf) 1. ( WIMBI 2006 ) [A Semantically Enabled Service Oriented Architecture](http://stijnheymans.net/pubs/wimbi2006.pdf) 1. ( RuleML 2006 ) [Translating Ontologies from Predicate-based to Frame-based Languages](http://stijnheymans.net/pubs/ruleml2006.pdf) 1. ( AMAI 2006 ) [Conceptual Logic Programs](http://stijnheymans.net/pubs/amai2006.pdf) 1. ( PhD Thesis 2006) [Decidable Open Answer Set Programming](http://stijnheymans.net/pubs/doasp_phd.pdf) 1. ( ALPSWS 2006 ) [G-hybrid Knowledge Bases](http://stijnheymans.net/pubs/alpsws2006.pdf) 1. ( FoIKS 2006 ) [Guarded Open Answer Set Programming with Generalized Literals](http://stijnheymans.net/pubs/foiks2006.pdf) 1. ( RoW 2006 ) [Reasoning with the Description Logic DLRO-lessthan using Bound Guarded Programs](http://stijnheymans.net/pubs/row2006.pdf) 1. ( EDBT 2006 ) [Unsatisfiability Reasoning in ORM Conceptual Schemes](http://stijnheymans.net/pubs/edbt2006.pdf) 1. ( ECAI 2006 ) [Approximating Extended Answer Sets](http://stijnheymans.net/pubs/ecai2006.pdf) 1. ( ICLP 2006 ) [Cooperating Answer Set Programming](http://stijnheymans.net/pubs/iclp2006.pdf) 1. ( CLIMA-VII 2006 ) [Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming](http://stijnheymans.net/pubs/clima2006.pdf) 1. ( LPNMR 2005 ) [Guarded Open Answer Set Programming](http://stijnheymans.net/pubs/lpnmr2005.pdf) 1. ( ESWC 2005 ) [Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs](http://stijnheymans.net/pubs/eswc2005.pdf) 1. ( ISWC 2005 ) [Preferential Reasoning on a Web of Trust](http://stijnheymans.net/pubs/iswc2005.pdf) 1. ( ICTCS 2005 ) [Synthesis from Temporal Specifications Using Preferred Answer Set Programming](http://stijnheymans.net/pubs/ictcs2005.pdf) 1. ( PADLD 2005 ) [An Ordered Logic Program Solver](http://stijnheymans.net/pubs/padl2005.pdf) 1. ( JELLIA 2004 ) [Hierarchical Decision Making by Autonomous Agents](http://stijnheymans.net/pubs/jelia2014.pdf) 1. ( RuleML 2004 ) [Semantic Web Reasoning with Conceptual Logic Programs](http://stijnheymans.net/pubs/ruleml2004.pdf) 1. ( ICLP 2004 ) [On Programs with Linearly Ordered Multiple Preferences](http://stijnheymans.net/pubs/iclp2004.pdf) 1. ( LPAR 2004 ) [Weighted Answer Sets and Applications in Intelligence Analysis](http://stijnheymans.net/pubs/lpar2004.pdf) 1. ( PPSWR 2003 ) [Integrating Description Logics and Answer Set Programming](http://stijnheymans.net/pubs/ppswr2003.pdf) 1. ( WEBS 2003 ) [Integrating Ontology Languages and Answer Set Programming](http://stijnheymans.net/pubs/webs2003.pdf) 1. ( ASP 2003 ) [Integrating Semantic Web Reasoning and Answer Set Programming](http://stijnheymans.net/pubs/asp2003.pdf) 1. ( ODBASE 2002 ) [A Defeasible Ontology Language](http://stijnheymans.net/pubs/odbase2002.pdf) 1. ( WEBS 2002 ) [Using Preference Order in Ontologies](http://stijnheymans.net/pubs/webs2002.pdf) You can find bibliographic details for all of these at [Bibsonomy](http://www.bibsonomy.org/layout/publist-year-en/user/stijn.heymans/myown?items=100).