@InProceedings{AAAI02,
  author =    "P. Patel-Schneider and I. Horrocks and F. van Harmelen",
  title =     "Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web",
  booktitle = "Proceedings of the Eighteenth National Conference on
               Artificial Intelligence",
  year =      "2002",
  pages =     "792--797",
  editor =    "R. Dechter and  M. Kearns and R. Sutton,",
  month =     "July",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AAAI02.pdf"
}

@Article{AIJ88,
  author =       "F. van Harmelen and A. Bundy",
  title =        "Explanation Based Generalisation = Partial EvaluationExplanation Based Generalisation = Partial Evaluation",
  journal =      "Artificial Intelligence",
  year =         1988,
  volume =       36,
  pages =        "401--412",
  keywords = {Other},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIJ88.pdf"
}

@article{AIJ92,
  title = {{Rippling: A Heuristic for Guiding Inductive Proofs}},
  author = {Alan Bundy and Andrew Stevens and Andrew Ireland and
           Frank van Harmelen and Alan Smaill},
  issn = {00043702},
  journal = {Artificial Intelligence},
  number = {2},
  volume = {62},
  pages = {185--253},
  keywords = {Other},
  institution = {Department of AI, University of Edinburgh},
  url = {http://www.cs.vu.nl/~frankh/postscript/AIJ92.pdf},
  year = {1993},
  abstract = {We describe rippling: a tactic for the heuristic control of
    the key part of proofs by mathematical induction. This tactic
    significantly reduces the search for a proof of a wide variety of
    inductive theorems. We first present a basic version of rippling,
    followed by various extensions which are necessary to capture larger
    classes of inductive proofs. Finally, we present a generalised form
    of rippling which embodies these extensions as special cases. We
    prove that generalised rippling always terminates, and we discuss
    the implementation of the tactic and its relation with other
    inductive proof search heuristics.},
}

@Article{AIM06,
  author = 	 "Annette ten Teije and Mar Marcos and Michel Balser and Joyce van Croonenborg and Christoph Duelli and Frank van Harmelen and Peter Lucas and Silvia Miksch and Wolfgang Reif and Kitty Rosenbrand and Andreas Seyfang",
  title = 	 "Improving medical protocols by formal methods",
  journal =	 "AI in Medicine",
  year =	 2006,
  volume =       36,
  number =       3,
  pages =	 "193-209",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIM06.pdf"
}

@Article{AIM07,
  author = 	 "Radu Serban and Annette ten Teije and
                  Frank van Harmelen and Mar Marcos and Cristina Polo-Conde",
  title = 	 "Extraction and use of linguistic patterns for modelling medical guidelines",
  journal =	 "AI in Medicine",
  year =	 2007,
  volume =       39,
  number =       2,
  pages =	 "137-149",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIM07.pdf"
}

@Article{AIM08,
  author = 	 "P. Groot and A. Hommersom and P. Lucas and R.-J. Merk 
                 and A. ten Teije and F. van Harmelen and R. Serban",
  title = 	 "Using Model Checking for Critiquing based on Clinical Guidelines",
  journal =	 "AI in Medicine",
  year =	 2008,
  volume =       46,
  number =       1,
  pages =	 "19-36",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIM08.pdf"
}

@Article{AIM98,
  author = 	 "Gerard Renardel de Lavalette and Rix Groenboom and
                  Ernest Rotterdam and Frank van Harmelen and
                  Annette ten Teije and Fred de Geus",
  title = 	 "Formalisation for decision support in anaesthesiology",
  journal =	 "AI in Medicine",
  year =	 1998,
  volume =       11,
  pages =	 "189-214",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIM98.pdf"
}

@Article{AIM99,
  author = 	 "Arjen Vollebregt and Annette ten Teije
                  and Frank van Harmelen and Johan van der Lei
		  and Mees Mosseveld",
  title = 	 "A study of PROforma, a development methodology for clinical procedures",
  journal =	 "AI in Medicine",
  year =	 1999,
  volume =       17,
  pages =	 "195-221",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIM99.pdf"
}

@InProceedings{AIME01,
  author =       "M. Marcos and G. Berger and F. van Harmelen and 
                  A. ten Teije and H. Roomans and S. Miksch",
  title =        "Using critiquing for improving medical protocols: harder than it seems",
  booktitle =    "Proceedings of the Eighth European Conference on Artificial
Intelligence in Medicine (AIME'01)",
  year =         2001,
  pages =        "431-441",
  publisher =    "Springer Verlag",
  series =       "LNAI",
  volume =       2101,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIME01.pdf"
}

@InProceedings{AIME03KIV,
  author =       "Mar Marcos and Michael Balser and Annette ten Teije
                  and Frank van Harmelen and Christoph Duelli",
  title =        "Experiences in the formalisation and verification of medical protocols",
  booktitle =    "Proceedings of the Ninth European Conference on Artificial
                  Intelligence in Medicine (AIME'03)",
  year =         2003,
  pages =        "132-141",
  publisher =    "Springer Verlag",
  series =       "LNAI",
  volume =       2870,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIME03KIV.pdf"
}

@InProceedings{AIME03linking,
  author =       "Marije Geldof and Annette ten Teije and Frank van Harmelen 
                  and Mar Marcos and Peter Votruba",
  title =        "Informal and formal medical guidelines: Bridging the gap",
  booktitle =    "Proceedings of the Ninth European Conference on Artificial,
                  Intelligence in Medicine (AIME'03)",
  year =         2003,
  pages =        "173-178",
  publisher =    "Springer Verlag",
  series =       "LNAI",
  volume =       2870,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIME03linking.pdf"
}

@InProceedings{AIME05,
  author =       "Marjolein van Gendt and Annette ten Teije and 
                  Radu Serban and Frank van Harmelen",
  title =        "Formalising medical quality indicators to improve guidelines",
  booktitle =    "Proceedings of the Tenth European Conference on Artificial
                  Intelligence in Medicine (AIME'05)",
  year =         2005,
  pages =        "201-210",
  publisher =    "Springer Verlag",
  series =       "LNAI",
  volume =       3581,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIME05.pdf"
}

@InProceedings{AIME07,
  author =       "Perry Groot and Frank van Harmelen and Arjen Hommersom and
                  Peter Lucas and Radu Serban and Annette ten Teije",
  title =        "The Role of Model Checking in Critiquing based on Clinical Guidelines ",
  booktitle =    "Proceedings of the Eleventh European Conference on Artificial
                  Intelligence in Medicine (AIME'07)",
  year =         2007,
  pages     = {411-420},
  publisher =    "Springer Verlag",
  series =       "LNAI",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIME07.pdf"
}

@InProceedings{AIME09-KR4HC,
  author =       "K. Milian and Zh. Aleksovski and R. Vdovjak and 
                  A. ten Teije and F. van Harmelen",
  title =        "Identifying disease-centric subdomains in very large medical ontologies. Or: finding 2500 out of 300.000",
  booktitle =    "Proceedings of the AIME'09 workshop on Knowledge
                  Representation for Healthcare",
  editor =       "D. Riano and A. ten Teije and M. Miksch and M. Peleg",
  publisher =    "Springer Verlag",
  series    =    "LNCS",
  volume =       "5943",
  year =         2009,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIME09-KR4HC.pdf"
}

@Article{AIMag98,
  author = 	 "Gregoris Antoniou and Frank van Harmelen and 
                  Robert Plant and Jan Vanthienen",
  title = 	 "Verification and validation of Knowledge-Based Systems - Report on two 1997 events",
  journal =	 "AI Magazine",
  year =	 1998,
  volume =	 19,
  number =	 3,
  pages =	 "123-126",
  month =	 "Fall",
  keywords = {Verification and Validation of KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIMag98.pdf"
}

@incollection{AWS07,
  author = "D. Robertson and C. Walton and A. Barker and P. Besana and
            Y. Chen-Burger and F. Hassan and D. Lambert and G. Li and
	    J. McGuinnis and N. Osman and A. Bundy and F. McNeill and
	    F. van Harmelen and C. Sierra and F. Giunchiglia",
  editor = "E. Chang and T. Dillon and R. Meersman and K. Sycara",
  booktitle = "Advances in Web Semantics, vol 1",
  title = "Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing",
  publisher = "Springer-Verlag",
  series = "LNCS-IFIP",
  year = "2007",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AWS07.pdf"
}

@InProceedings{BPM08-WS,
  author = 	 "G. Tagni and A. ten Teije and F. van Harmelen",
  title = 	 "Reasoning about Repairability of Workflows at Design Time",
  booktitle =	 {BPM 2008 Workshops; 1st International Workshop on QoS in Self-healing Web
                  Services {(QSWS-08)}, 
                  in conjunction with BPM 2008 6th International
                  Conference on Business Process Management (BMP 2008)},
  editor =       {D. Ardagna et al.},
  pages =	 {440-452},
  year =	 2009,
  series =       "LNBIP",
  volume =       17,
  editor =       "Springer Verlag",
  keywords = {Meta-reasoning and Reflection},
  urlPaper =     "http://www.cs.vu.nl/~frankh/postscript/BPM08-WS.pdf"
}

@Article{BioInformatics04,
  author = 	 "Maksym Korotkiy and Rutger Middelburg and Henk Dekker
                  and Frank van Harmelen and Jan Lankelma",
  title = 	 "A tool for gene expression based PubMed search through combining data sources",
  journal = 	 "BioInformatics",
  year = 	 2004,
  volume =	 20,
  number =	 "1980-1982",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/BioInformatics04.pdf"
}

@InProceedings{CGP04,
  author =       "M. Balser and O. Coltell and J. van Croonenborg and
                  C. Duelli and F. van Harmelen and A. Jovell and 
		  P. Lucas and M. Marcos and S. Miksch and
                  W. Reif and K. Rosenbrand and A. Seyfang and
                  A. ten Teije",
  title =        "Protocure: Supporting the Development of Medical Protocols through Formal Methods",
  booktitle =    "Proceedings of the workshop on Computerised Protocols
                  and Guidelines",
  series = "Studies in Health, Technology and Information",
  year =         2004,
  pages =        "103-107",
  publisher =    "IOS Press",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/CGP04.pdf"
}

@InProceedings{CIA06,
  author =       "F. van Harmelen",
  title =        "Semantic Web Research anno 2006: main streams, popular fallacies, current status and future challenges",
  editor =       "M. Klusch and M. Rovatsos and T. Payne",
  number =       "4149",
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "1--7",
  booktitle =    "Proceedings of the 10th
                  10th International Workshop on 
                  Cooperative Information Agents,({CIA}2006)",
  publisher =    "Springer-Verlag",
  year =         2006,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/CIA06.pdf"
}

@InProceedings{CISWeb08,
  author = 	 "Z. Aleksovski and W. ten Kate and F. van Harmelen",
  title = 	 "Using multiple ontologies as background knowledge in ontology matching", 
  booktitle =	 {Proceedings of the  1st International Workshop on
                  Collective Semantics: Collective Intelligence & the
                  Semantic Web {CISWeb'08}},
  editor =       {Y. Avrithis, Y. Kompatsiaris, S. Staab, A. Vakali},
  year =	 2007,
  url =          "http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-351/paper3.pdf",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/CISWeb08.pdf"
}

@InProceedings{CMoL08-BEST,
  author =       "E. Uijttenbroek and A. Lodder and M. Klein and  
                  G. Wildeboer and W. van Steenbergen and R. Sie and  
		  P. Huygen and F. van Harmelen",
  title =        "Retrieval of Case Law to Provide Layman with Information about Liability: Preliminary Results of the BEST-Project",
  editor =       "P. Casanovas and G. Sartor and N. Casellas and R. Rubino",
  booktitle =    "Computable Models of the Law",
  publisher =    "Springer-Verlag",
  series =       "LNAI",
  pages =        "291-311",
  year =         2008,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/CMoL08-BEST.pdf"
}

@InProceedings{CMoL08-Dynamics,
  author =       "Zh. Huang and S. Schlobach and F. van Harmelen and 
                  N. Casellas and P. Casanovas",
  title =        "Dynamic Aspects of OPJK Legal Ontology",
  editor =       "P. Casanovas and G. Sartor and N. Casellas and R. Rubino",
  booktitle =    "Computable Models of the Law",
  publisher =    "Springer-Verlag",
  year =         2008,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/CMoL08-Dynamics.pdf"
}

@InProceedings{DL00,
  author =       "S. Decker and D. Fensel and F. van Harmelen and 
                  I. Horrocks and S. Melnik and M. Klein and J. Broekstra",
  title =        "Knowledge Representation on the Web",
  editor =       "F. Baader",
  booktitle =    "International Workshop on Description Logics ({DL}'00)",
  year =         2000,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/DL00.pdf"
}

@Article{DSS98,
  author = 	 "F. van Harmelen",
  title = 	 "Applying rule-base anomalies to KADS inference structures",
  journal = 	 "Decision Support Systems",
  year = 	 1998,
  volume = 	 21,
  number = 	 4,
  pages = 	 "271-280",
  keywords = {Verification and Validation of KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/DSS98.pdf"
}

@InProceedings{DX94,
  author =    "A. ten Teije and F. van Harmelen",
  title =     "An extended spectrum of logical definitions for diagnostic sytems",
  booktitle = "Proceedings of DX-94 Fifth International Workshop on
               Principles of Diagnosis",
  year =      "1994",
  keywords = {Diagnostic Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/DX94.pdf"
}

@inproceedings{DYNAMICS97,
  author =       "Pascal van Eck and Joeri Engelfriet and Dieter
                  Fensel and Frank van Harmelen and Yde Venema and
                  Mark Willems",
  title =        "Specification of Dynamics for Knowledge-Based Systems",
  booktitle =    "Transactions and Change in Logic Databases",
  editor =       "Burkhard Freitag and Hendrik Decker and Michael Kifer
                  and Andrei Voronkov",
  year =         "1998",
  pages =        "37-68",
  volume =       "1472",
  series =       "Lecture Notes in Computer Science",
  publisher =    "Springer Verlag",
  keywords = {Verification and Validation of KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/DYNAMICS97.pdf"
}

@InProceedings{ECAI00-WS,
  author =       "D. Fensel and M. Crubezy and F. van Harmelen and I. Horrocks",
  title =        "OIL and UPML: a unifying framework for the Knowledge Web",
  booktitle =    "Proceedings of the {ECAI}'00 workshop on applications
                  of ontologies and problem-solving methods",
  year =         2000,
  address =      "Berlin",
  month =        "August",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ECAI00-WS.pdf"
}

@InProceedings{ECAI00-WS2,
  author =       "Michel Klein and Dieter Fensel and Frank van Harmelen and Ian Horrocks",
  title =        "The relation between ontologies and schema-languages: Translating OIL-specifications in XML-schema",
  booktitle =    "Proceedings of the {ECAI}'00 workshop on applications
                  of ontologies and problem-solving methods",
  year =         2000,
  address =      "Berlin",
  month =        "August",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ECAI00-WS2.pdf"
}

@InProceedings{ECAI00,
  author =       "F. van Harmelen and A. ten Teije",
  title =        "Describing Problem Solving Methods using Anytime Performance profiles",
  booktitle =    "Proceedings of {ECAI}'00",
  year =         2000,
  pages =        "181--186",
  address =      "Berlin",
  month =        "August",
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ECAI00.pdf"
}

@InProceedings{ECAI92,
  author =       "F. van Harmelen and J. Balder",
  title =        "{(ML)}$^2$: a formal language for {KADS} models of expertise (short version)",
  booktitle =    "Proceedings of the Tenth European Conference on AI
                 (ECAI'92)",
  pages =        "582-586",
  year =         1992,
  address =      "Vienna, Austria",
  month =        aug,
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ECAI92.pdf"
}

@InCollection{ECAI92WS-comp,
  author =       "F. van Harmelen and R. Lopez de Mantaras and
                  J. Malec and J. Treur",
  title =        "Comparing Formal Specification Languages",
  booktitle =    "Formal Specification of Complex Reasoning Systems",
  editor =       "J. Treur and Th. Wetter",
  series =       "Workshop Series",
  publisher =    "Ellis Horwood",
  pages =        "257-282",
  year = 1992,
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ECAI92WS-comp.pdf"
}

@InCollection{ECAI92WS,
  author =       "J. Balder and F. van Harmelen and M. Aben",
  title =        "A {KADS/ML$^2$} model of a scheduling task",
  booktitle =   "Formal Specification of Complex Reasoning Systems",
  pages =       "15--44",
  publisher =   "Ellis Horwood",
  year =        1993,
  editor =      "J. Treur and Th. Wetter",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ECAI92WS.pdf"
}

@InProceedings{ECAI94,
  author =       "F. van Harmelen and A. ten Teije",
  title =        "Using domain knowledge to select solutions in abductive diagnosis",
  booktitle =    "Proceedings of {ECAI}'94",
  year =         1994,
  pages =        "652--656",
  address =      "Amsterdam",
  month =        "August",
  keywords = {Diagnostic Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ECAI94.pdf"
}

@InProceedings{ECAI98,
  author =       "F. van Harmelen and A. ten Teije",
  title =        "Characterising approximate problem-solving by partial pre- and postconditions",
  booktitle =    "Proceedings of {ECAI}'98",
  year =         1998,
  pages =        "78--82",
  address =      "Brighton",
  month =        "August",
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ECAI98.pdf"
}

@InProceedings{EKAW00-KBS,
  author =       "P. Groot and F. van Harmelen and A. ten Teije",
  title =        "Torture tests: a quantitative analysis for the robustness of Knowledge-Based Systems",
  editor =       "R. Dieng",
  number =       "1812",
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "403-418",
  booktitle =    "Proceedings of the Proceedings of the 12th
                  International Conference on Knowledge
                  Engineering and Knowledge Management ({EKAW}'00)",
  publisher =    "Springer-Verlag",
  year =         2000,
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW00-KBS.pdf"
}

@InProceedings{EKAW00,
  author =       "D. Fensel and I. Horrocks and F. van Harmelen and 
                  S. Decker and M. Erdmann and M. Klein",
  title =        "OIL in a nutshell",
  editor =       "R. Dieng",
  number =       "1937",
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "1-16",
  booktitle =    "Proceedings of the 12th European Workshop on
		  Knowledge Acquisition, Modeling, and Management ({EKAW}'00)",
  publisher =    "Springer-Verlag",
  year =         2000,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW00.pdf"
}

@InProceedings{EKAW02,
  author =       "Mar Marcos and Michael Balser and 
                  Annette ten Teije and Frank van Harmelen",
  title =        "From informal knowledge to formal logic: a realistic case study in medical protocols",
  editor =       "A. Gomez-Perez and R. Benjamins",
  number =       "2473",
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "49--64",
  booktitle =    "Proceedings of the Proceedings of the 13th
                  International Conference on Knowledge
                  Engineering and Knowledge Management ({EKAW}'02)",
  publisher =    "Springer-Verlag",
  year =         2002,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW02.pdf"
}

@InProceedings{EKAW04-DOPE,
  author =       "H. Stuckenschmidt and A. de Waard and R. Bhogal and 
                  Christiaan Fluit and A. Kampman and J. van Buel and 
		  E. van Mulligen and J. Broekstra and I. Crowlesmith
		  and F. van Harmelen and T. Scerri",
  title =        "A Topic-Based Browser for Large Online Resources",
  editor =       "E. Motta and N. Shadbolt",
  number =       "3257",
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "433-448",
  booktitle =    "Proceedings of the Proceedings of the 14th
                  International Conference on Knowledge
                  Engineering and Knowledge Management ({EKAW}'04)",
  publisher =    "Springer-Verlag",
  year =         2004,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW04-DOPE.pdf"
}

@InProceedings{EKAW04-IBROW,
  author =       "Annette ten Teije and Frank van Harmelen and Bob Wielinga",
  title =        "Configuration of Web Services as Parametric Design",
  editor =       "E. Motta and N. Shadbolt",
  number =       "3257",
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "321-336",
  booktitle =    "Proceedings of the Proceedings of the 14th
                  International Conference on Knowledge
                  Engineering and Knowledge Management ({EKAW}'04)",
  publisher =    "Springer-Verlag",
  year =         2004,
  keywords = {Meta-reasoning and Reflection},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW04-IBROW.pdf"
}

@InProceedings{EKAW06-Protocure,
  author =       "R. Stegers and A. ten Teije and F. van Harmelen",
  title =        "From Natural Language to Formal Proof Goal: Structured Goal Formalisation Applied to Medical Guidelines (Extended abstract)",
  editor =       "S. Staab and V. Svatek",
  number =       "4248",
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "51-58",
  booktitle =    "Proceedings of the 15th
                  International Conference on Knowledge
                  Engineering and Knowledge Management ({EKAW}'06)",
  publisher =    "Springer-Verlag",
  year =         2006,
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW06-Protocure.pdf"
}

@InProceedings{EKAW06-mapping,
  author =       "Z. Aleksovski and M. Klein and W. ten Kate 
                  and F. van Harmelen",
  title =        "Matching Unstructured Vocabularies using a Background Ontology",
  editor =       "S. Staab and V. Svatek",
  number =       "4248",
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "182-197",
  booktitle =    "Proceedings of the 15th
                  International Conference on Knowledge
                  Engineering and Knowledge Management ({EKAW}'06)",
  publisher =    "Springer-Verlag",
  year =         2006,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW06-mapping.pdf"
}

@InProceedings{EKAW94,
  author =       "F. Ruiz and F. van Harmelen and M. Aben
                  and J. van de Plassche ",
  title =        "Evaluating a Formal Specification Language",
  editor =       "L. Steels and A.Th. Schreiber and W. Van de Velde",
  number =       867,
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "26--45",
  booktitle =    "A Future for Knowledge Acquisition, Proc. 8th EKAW",
  publisher =    "Springer-Verlag",
  year =         1994,
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW94.pdf"
}

@InProceedings{EKAW96,
  author =       "REVISE-Project",
  title =        "A Purpose Driven Method for Language Comparison",
  editor =       "N. Shadbolt and K. O'Hara",
  number =       1076,
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "66--81",
  booktitle =    "Proceedings of the 8th European Knowledge Acquisition
                  Workshop ({EKAW'96})",
  publisher =    "Springer-Verlag",
  year =         1996,
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW96.pdf"
}

@InProceedings{EKAW99,
  author =       "P. Groot and A. ten Teije and F. van Harmelen",
  title =        "Formally verifying dynamic properties of KBS",
  editor =       "D. Fensel and R. Studer",
  number =       "1621",
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "157-172",
  booktitle =    "Proceedings of the 11th European Workshop on
		  Knowledge Acquisition, Modeling, and Management ({EKAW}'99)",
  publisher =    "Springer-Verlag",
  year =         1999,
  keywords = {Verification and Validation of KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW99.pdf"
}

@InCollection{ESPRIT92,
  author =      "Frank van Harmelen and Bob Wielinga and
                 Bert Bredeweg and Guus Schreiber and
                 Werner Karbach and Martin Reinders and
                 Angi Vo{\ss} and Hans Akkermans and 
                 Brigitte Bartsch-Spoerl and Erik Vinkhuyzen",
  title =       "Knowledge-Level Reflection",
  booktitle =   "Enhancing the Knowledge Engineering Process --
                Contributions from {ESPRIT}",
  editor  =     "B. Le Pape and L. Steels",
  pages =       "175-204",
  publisher =   "Elsevier Science",
  address =     "Amsterdam, The Netherlands",
  year =        1992,
  keywords = {Meta-reasoning and Reflection},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ESPRIT92.pdf"
}

@InProceedings{ESWC07,
  author = 	 {Wouter van Atteveldt and Stefan Schlobach
                  and Frank van Harmelen},
  title = 	 {Media, Politics and the Semantic Web: An experience report in advanced RDF usage},
  booktitle =	 {Proceedings of the Third European Semantic Web 
                  Conference},
  pages =	 {205--218},
  year =	 2007,
  volume =	 4519,
  series =	 {LNCS},
  publisher =	 {Springer},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ESWC07.pdf"
}

@InProceedings{ESWC10,
  author = 	 {Jacopo Urbani and Spyros Kotoulas and Jason Maassen
                  and Frank van Harmelen and Henri Bal},
  title = 	 {OWL reasoning with WebPIE: calculating the closure of 100 billion triples},
  booktitle =	 {Proceedings of the Seventh European Semantic Web 
                  Conference},
  pages =	 "213-227",
  year =	 2010,
  volume =	 6088,
  series =	 {LNCS},
  publisher =	 {Springer},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ESWC10.pdf"
}

@Article{EUROVAV97,
  author = 	 "Frank van Harmelen and Annette ten Teije",
  title = 	 "Validation and verification  of conceptual models of diagnosis",
  journal =	 "Proceedings of the Fourth European Symposium on the
                  Validation and Verification of Knowledge Based Systems
		  ({EUROVAV}'97)",
  pages =        117--128,
  year =	 1997,
  address =      "Leuven, Belgium",
  month =	 "June",
  keywords = {Verification and Validation of KBS, Diagnostic Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EUROVAV97.pdf"
}

@Article{FGCS96,
  author = 	 "A. ten Teije and F. van Harmelen",
  title = 	 "Using reflection techniques for flexible problem solving (with examples from diagnosis)",
  journal =	 "Future Generation Computing Systems",
  volume =       12,
  month =        "December",
  pages =        "217-234",
  year =	 1996,
  keywords = {Meta-reasoning and Reflection, Diagnostic Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/FGCS96.pdf"
}

@InProceedings{FLAIRS02,
  author =    "Heiner Stuckenschmidt and Jens Hartmann and 
               Frank van Harmelen",
  title =     "Learning Structural Classification Rules for Web-page Categorization",
  booktitle = "Proceedings of the Fifteenth International FLAIRS conference",
  year =      "2002",
  pages =     "440-444",
  editor =    "S. Haller and G. Simmons",
  month =     "May",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/FLAIRS02.pdf"
}

@InProceedings{FQAS02,
  author =       "Heiner Stuckenschmidt and Frank van Harmelen",
  title =        "Approximating Terminological Queries",
  editor =       "H.L. Larsen et al.",
  number =       "2522",
  series =       "Advances in Soft Computing",
  pages =        "329-343",
  booktitle =    "Proceedings of the Proceedings of the 4th
                  International Conference on Flexible Query Answering
                  Systems ({FQAS})'02)",
  publisher =    "Springer-Verlag",
  year =         2002,
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/FQAS02.pdf"
}

@InProceedings{GWAI92,
  author =       "C. Coulon and F. van Harmelen and W. Karbach and A.
                 Vo\ss",
  title =        "Controlling generate \& test in any time",
  booktitle =    "Proceedings of the German Workshop on AI (GWAI'92)",
  series =       "Lecture Notes in AI",
  volume =       671,
  pages =        "304-306",
  editor =       "H.J. Ohlbach",
  year =         1993,
  publisher =    "Springer-Verlag",
  note =         "Also in the proceedings of the ECAI'92 workshop on
                 advances in real-time expert system technologies",
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/GWAI92.pdf"
}

@InProceedings{ICA08,
  author = 	 {Wouter van Atteveldt and Nel Ruigrok and Stefan Schlobach and
                  Frank van Harmelen},
  title = 	 {Searching the news: Using a rich ontology with time-bound roles to search through annotated newspaper archives},
  booktitle =	 {Proceedings of the 58th annual conference of the
                  International Communication Association},
  year =	 2008,
  address =	 {Montreal},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ICA08.pdf"
}

@InProceedings{ICAIL07,
  author =       "E. Uijttenbroek and M.C.A. Klein and A.R. Lodder
                  and F. van Harmelen",
  title =        "Case Law Retrieval by Concept Search and Visualization",
  editor =       "R. Winkels and A. Gardner",
  booktitle =    "Proceedings of the Proceedings of the 11th
                  International Conference on Artificial Intelligence and Law,
                  {(ICAIL 2007})",
  isbn =         "978-1-59593-680-6",
  year =         2007,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ICAIL07.pdf"
}

@InProceedings{ICSC08,
  author = 	 {D. Fensel and F. van Harmelen and others},
  title = 	 {Towards LarKC: a Platform forWeb-scale Reasoning},
  booktitle =	 {second IEEE International Conference on Semantic
                  Computing (ICSC2008)},
  pages =	 {524-529},
  year =	 2008,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ICSC08.pdf"
}

@InProceedings{ICSNW04,
  author =       "P. Haase and R. Siebes and F. van Harmelen",
  title =        "Peer Selection in Peer-to-Peer Networks with Semantic Topologies",
  booktitle = 	 "Proceedings of the International Conference on Semantics in 
                  a Networked World ({ICNSW'04})",
  editor =       "Mokrane Bouzeghoub",
  year = 	 2004,
  series =	 "LNCS",
  publisher =	 "Springer Verlag",
  volume =       3226,
  pages =        "108-125",
  address = 	 "Paris",
  month = 	 "June",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ICSNW04.pdf"
}

@InProceedings{IDPT02,
  author =    "Mar Marcos and Hugo Roomans and Annette ten Teije 
               and Frank van Harmelen",
  title =     "Improving medical protocols through formalisation: a case study",
  booktitle = "Proceedings of the Sixth World Conference on Integrate
               Design and Process Technology",
  year =      "2002",
  month =     "July",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IDPT02.pdf"
}

@InProceedings{IEAAIE00,
  author = 	 "A. Bultman and J. Kuipers and F. van Harmelen",
  title = 	 "Maintenance of KBS's by Domain Experts: The Holy Grail in Practice",
  booktitle =	 "Thirtheenth International Conference on 
                  Industrial & Engineering Applications of 
		  Artificial Intelligence & Expert Systems IEA/AIE'00",
  editor =       "R. Logananthara and G. Palm and M. Ali",
  publisher =    "Springer Verlag",
  series =       "Lecture Notes in Artificial Intelligence",
  number =       "1821",
  pages =	 "139-148",
  year =	 2000,
  keywords = {Verification and Validation of KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEAAIE00.pdf"
}

@InProceedings{IEAAIE99,
  author = 	 "F. van Harmelen and J. van der Meer",
  title = 	 "WebMaster: Knowledge-based Verification of Web-pages",
  booktitle =	 "Twelfth International Conference on 
                  Industrial & Engineering Applications of 
		  Artificial Intelligence & Expert Systems IEA/AIE'99",
  publisher =    "Springer Verlag",
  series =       "Lecture Notes in Artificial Intelligence",
  editor =       "I. Imam and Y. Kodratoff and M. Ali",
  number =       "1611",
  pages =	 "256--265",
  year =	 1999,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEAAIE99.pdf"
}

@Article{IEEE-Computer02,
  author = 	 "Dieter Fensel and  Frank van Harmelen and  Ying Ding and  
                  Michel Klein and  Hans Akkermans and Jeen Broekstra and  
		  Arjohn Kampman and  Jos van der Meer and York Sure and  
		  Rudi Studer and Uwe Krohn and  John Davies and 
		  Robert Engels and Victor Iosif and Atanas Kiryakov and 
		  Thorsten Lau and  Ulrich Reimer and  Ian Horrocks",
  title = 	 "On-To-Knowledge in a Nutshell",
  journal =	 "IEEE Computer",
  year =	 2002,
  pages =        "1--16",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEE-Computer02.pdf"
}

@Article{IEEE-IC00,
  author = 	 "Stefan Decker and Sergey Melnik and Frank van Harmelen and 
                  Dieter Fensel and Michel Klein and Jeen Broekstra and 
		  Michael Erdmann and Ian Horrocks",
  title = 	 "The Semantic Web: The roles of XML and RDF",
  journal =	 "IEEE Internet Computing",
  year =	 2000,
  volume =	 "15",
  number =	 "3",
  pages =	 "63--74",
  month =	 "October",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEE-IC00.pdf"
}

@Article{IEEE-IC07,
  author = 	 "Dieter Fensel and Frank van Harmelen",
  title = 	 "Unifying Reasoning and Search to Web Scale",
  journal =	 "IEEE Internet Computing",
  year =	 2007,
  volume =	 "11",
  number =	 "2",
  pages =	 "94--96",
  month =	 "March/April",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEE-IC07.pdf"
}

@Article{IEEE-IS00,
  author = 	 "Frank van Harmelen and 
                  Ian Horrocks",
  title = 	 "Questions and answers OIL",
  journal =	 "IEEE Intelligent Systems",
  year =	 2000,
  volume =	 "15",
  number =	 "6",
  pages =	 "69--72",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEE-IS00.pdf"
}

@Article{IEEE-IS01,
  author = 	 "Dieter Fensel and Ian Horrocks and Frank van Harmelen
		 and Deborah L. McGuinness and Peter Patel-Schneider",
  title = 	 "OIL: An Ontology Infrastructure for the Semantic Web",
  journal =	 "IEEE Intelligent Systems",
  year =	 2001,
  volume =	 "16",
  number =	 "2",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEE-IS01.pdf"
}

@Article{IEEE-IS02,
  author = 	 "Frank van Harmelen",
  title = 	 "The complexity of the Web ontology language",
  journal =	 "IEEE Intelligent Systems",
  year =	 2002,
  volume =	 "17",
  number =	 "March/April",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEE-IS02.pdf"
}

@Article{IEEE-IS04,
  author = 	 "H. Stuckenschmidt and F. van Harmelen and 
                  A. de Waard and T. Scerri and R. Bhogal and 
		  J. van Buel and I. Crowlesmith and Ch. Fluit and 
		  A. Kampman and J. Broekstra and E. van Mulligen",
  title = 	 "Exploring Large Document Repositories with RDF Technology: The DOPE Project",
  journal =	 "IEEE Intelligent Systems",
  year =	 2004,
  volume =	 "19",
  number =	 "3",
  pages =        "34--40",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEE-IS04.pdf"
}

@Article{IEEE-IS09,
  author = 	 "Emanuele Della Valle and Stefano Ceri and
                  Frank van Harmelen and Dieter Fensel",
  title = 	 "It's a Streaming World! Reasoning upon Rapidly Changing Information",
  journal =	 "IEEE Intelligent Systems",
  year =	 2009,
  volume =	 "24",
  number =	 "6",
  pages =        "83--89",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEE-IS09.pdf"
}

@Article{IEEE96,
  author = 	 "Frank van Harmelen and Manfred Aben and Fidel Ruiz and
                  Joke van de Plassche",
  title = 	 "Evaluating a formal KBS specification language",
  journal =	 "IEEE Expert",
  year =	 1996,
  volume =	 "11",
  number =	 "1",
  pages =	 "56--62",
  month =	 "February",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEE96.pdf"
}

@InProceedings{IJCAI05,
  author =    "Zhisheng Huang and Frank van Harmelen and Annette ten Teije",
  title =     "Reasoning with Inconsistent Ontologies",
  booktitle = "Proceedings of the Nineteenth International Joint Conference on
               Artificial Intelligence ({IJCAI}'05)",
  year =      "2005",
  pages =     "454-459",
  address =   "Edinburgh, Scotland",
  month =     "August",
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IJCAI05.pdf"
}

@InProceedings{IJCAI97,
  author =    "A. ten Teije and F. van Harmelen",
  title =     "Exploiting domain knowledge for approximate diagnosis",
  booktitle = "Proceedings of the Fifteenth International Joint Conference on
               Artificial Intelligence ({IJCAI}'97)",
  year =      "1997",
  pages =     "454--459",
  editor =    "M. Pollack",
  address =   "Nagoya, Japan",
  month =     "August",
  keywords = {Diagnostic Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IJCAI97.pdf"
}

@InProceedings{IJCAI99-III,
  author =       "F. van Harmelen and D. Fensel",
  title =        "Practical Knowledge Representation for the Web",
  editor =       "D. Fensel",
  booktitle =    "Proceedings of the IJCAI'99 Workshop on
                  Intelligent Information Integration",
  year =         1999,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IJCAI99-III.pdf"
}

@InProceedings{IJCAI99-PSM,
  author =       "A. ten Teije and F. van Harmelen",
  title =        "Describing Problem Solving Methods using Anytime Performance profiles",
  editor =       "R. Benjamins",
  booktitle =    "Proceedings of the IJCAI'99 Workshop on
                  Ontologies and Problem Solving Methods",
  year =         1999,
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IJCAI99-PSM.pdf"
}

@Article{IJHCS98,
  author =    "A. ten Teije and F. van Harmelen and G. Schreiber and
               B. Wielinga",
  title =     "Construction of problem-solving methods as parametric design",
  journal = "International Journal of Human Computer Studies",
  year =      1998,
  volume =    49,
  number =    4,
  keywords = {Meta-reasoning and Reflection},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IJHCS98.pdf"
}

@InProceedings{ISWC02,
  author =    "Jeen Broekstra and Arjohn Kampman and Frank van Harmelen",
  title =     "Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema",
  booktitle = "Proceedings of the First Internation Semantic Web Conference",
  year =      "2002",
  pages =     "54--68",
  editor =    "I. Horrocks and J. Hendler",
  month =     "July",
  publisher = "Springer Verlag",
  series =    "Lecture Notes in Computer Science",
  number =    "2342",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC02.pdf"
}

@InProceedings{ISWC03,
  author =    "Paolo Bouquet and Fausto Giunchiglia and Frank van Harmelen 
               and Luciano Serafini and Heiner Stuckenschmidt",
  title =     "{C-OWL}: Contextualizing Ontologies",
  booktitle = "Proceedings of the Second International Semantic Web Conference",
  year =      "2003",
  pages =     "164--179",
  editor =    "K. Sekara and J. Mylopoulis",
  month =     "October",
  publisher = "Springer Verlag",
  series =    "Lecture Notes in Computer Science",
  number =    "2870",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC03.pdf"
}

@InProceedings{ISWC05,
  author = 	 {P. Haase and F. van Harmelen and Zh. Huang 
                  and H. Stuckenschmidt and Y Sure},
  title = 	 {A Framework for Handling Inconsistency in Changing Ontologies},
  booktitle =	 {Proceedings of the Fourth Internation Semantic Web 
                  Conference},
  pages =	 {353-367},
  year =	 2005,
  volume =	 {3729},
  series =	 {LNCS},
  publisher =	 {Springer},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC05.pdf"
}

@InProceedings{ISWC06-WS,
  author = 	 {Z. Aleksovski and W. ten Kate and F. van Harmelen},
  title = 	 {Ontology matching using comprehensive ontology as background knowledge},
  booktitle =	 {Proceedings of the International Workshop on Ontology Matching at ISWC 2006},
  pages =	 {13--24},
  editor =       {P. Shvaiko et al.},
  year =	 2006,
  publisher =	 {CEUR},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC06-WS.pdf"
}

@InProceedings{ISWC07-WS,
  author = 	 "S. Schlobach and E. Blaauw and M. El Kebir and A. ten Teije and
                  F. van Harmelen and S. Bortoli and M. Hobbelman and K. Milian and 
                  Y. Ren and S. Stam and P. Thomassen and R. van het Schip and  
                 W. van Willigem",
  title = 	 "Anytime Classification by Ontology Approximation",
  booktitle =	 {Proceedings of the workshop on new forms of reasoning
                  for the Semantic Web: scalable, tolerant and dynamic},
  pages =	 {60--74},
  editor =       {Ruzica Piskac et al.},
  year =	 2007,
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC07-WS.pdf"
}

@InProceedings{ISWC08,
  author = 	 {Zh. Huang  and F. van Harmelen},
  title = 	 {Using Semantic Distances for Reasoning with Inconsistent Ontologies},
  booktitle =	 {Proceedings of the Seventh International Semantic Web 
                  Conference},
  pages =	 {178-194},
  year =	 2008,
  volume =	 {5318},
  series =	 {LNCS},
  publisher =	 {Springer},
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC08.pdf",
}

@inproceedings{ISWC09,
  author = {Jacopo Urbani and Spyros Kotoulas and Eyal Oren and Frank van Harmelen},
  title = {Scalable Distributed Reasoning using MapReduce},
  booktitle = {Proceedings of the ISWC '09},
  year = {2009},
  volume =	 {5823},
  series =	 {LNCS},
  publisher =	 {Springer},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC09.pdf"
}

@inproceedings{ISWC10,
  author = {Christophe Gueret and Paul Groth and Frank van Harmelen and Stefan Schlobach},
  title = {Finding the Achilles Heel of the Web of Data: using network analysis for link-recommendation},
  booktitle = {Proceedings of the Int. Semantic Web Conf 2010},
  year = {2010},
  volume =	 {6496},
  series =	 {LNCS},
  publisher =	 {Springer},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC10.pdf"
}

@Article{ITM98,
  author = 	 "D. Fensel and F. van Harmelen and W. Reif and A ten Teije",
  title = 	 "Formal support for Development of Knowledge-Based Systems",
  journal = 	 "Information Technology Management",
  year = 	 1998,
  volume = 	 2,
  number = 	 4,
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ITM98.pdf"
}

@Article{JAR07,
  author =       "Stefan Schlobach and Zhisheng Huang and 
                  Ronald Cornet and Frank van Harmelen",
  title =        "Debugging Incoherent Terminologies",
  journal = 	 "Journal of Automated Reasoning",
  year = 	 2007,
  volume =       3,
  number =       39,
  pages =        "317-349",
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JAR07.pdf"
}

@Article{JHCS96,
  author =       "F. van Harmelen and M. Aben",
  title =        "Structure preserving specification languages for knowledge-based systems",
  journal =      "International Journal of Human Computer Studies",
  year =         1996,
  volume =       44,
  pages =        "187-212",
  note =         "(Formerly Journal of Man Machine Studies)",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JHCS96.pdf"
}

@InProceedings{JURIX05,
  author = 	 {R. van Laarschot and W. van Steenbergen and 
                  H. Stuckenschmidt and A. Lodder and Frank van Harmelen},
  title = 	 {The Legal Concepts and the Layman’s Terms Bridging the Gap through Ontology-Based Reasoning about Liability},
  booktitle =	 {Proceedings of JURIX 2005},
  year =	 2005,
  editor =       "M.-F. Moens",
  pages  =       "115-126",
  publisher =	 {IOS Press},
  ISBN =         "978-1-58603-576-1",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JURIX05.pdf"
}

@InProceedings{JURIX06,
  author     = "M. Klein and W. van Steenbergen and E.Uijttenbroek 
                and Arno Lodder and F. van Harmelen",  
  title      = "Thesaurus-based Retrieval of Case Law",  
  booktitle  = "Proceedings of the 19th International JURIX conference",  
  editor     = "Tom van Engers",  
  month      = "December 5-7",  
  year       = "2006",  
  publisher  = "IOS Press",
  ISBN       = "978-1-58603-698-0 ",
  abstract   =
"In the context of intelligent disclosure of case law, we report on our
findings on methods for retrieving relevant case law within the domain
of tort law from a repository of 68.000 court verdicts. We apply a
thesaurus-based technique to find specific legal situations. It appears
that statistical measures of term relevance are not sufficient, but that
explicit knowledge about specific formulations used in law and case law
are required to distinguish relevant case law from irrelevant. In
addition, we found out that the retrieving legal concepts with an
'interpretive' character requires a different method than concepts do
not require additional interpretation.",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JURIX06.pdf"
}

@InProceedings{JURIX10,
  author     = "Rinke Hoekstra and Arno Lodder and Frank van Harmelen",  
  title      = "Case-frames as contextual mappings to case-law in BestPortal",
  booktitle  = "Proceedings of the 23rd International JURIX conference",  
  editor     = "Radboud Winkels",  
  year       = "2010",  
  abstract   =
"This paper introduces <em>case frames</em> as a way to provide more
meaningful structure to vocabulary mappings used to bridge the gap
between laymen and legal descriptions of court proceedings. Case frames
both reduce the ambiguity of queries and improve the ability of users to
formulate good quality queries. We extend the BestMap ontology with a
formalisation of case frame based mappings in OWL 2, present a new
version of BestPortal, and show how case frames impact query results
compared to simple contextual mappings and a direct fulltext search.",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JURIX10.pdf"
}

@Article{JWS03,
  author = 	 "Ian Horrocks and Peter Patel-Schneider and 
                  Frank van Harmelen",
  title = 	 "From {SHIQ} and {RDF} to {OWL}: The Making of a Web Ontology Language",
  journal = 	 "Journal of Web Semantics",
  year = 	 2003,
  volume =	 1,
  number =	 1,
  pages  =       "7-26",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JWS03.pdf"
}

@Article{JWS04,
  author = 	 "Paolo Bouquet and Fausto Giunchiglia and 
                  Frank van Harmelen and Luciano Serafini and 
		  Heiner Stuckenschmidt",
  title = 	 "Contextualizing Ontologies",
  journal = 	 "Journal of Web Semantics",
  year = 	 2004,
  volume =	 1,
  number =	 4,
  pages =        "325-343",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JWS04.pdf"
}

@Article{JWS05,
  author =       "Peter Haase and Bj&ouml;rn Schnizler and Jeen Broekstra and
                  Marc Ehrig and Frank van Harmelen and Maarten Menken and
		  Peter Mika and Michal Plechawski and Pawel Pyszlak and
		  Ronny Siebes and Steffen Staab and Christoph Tempich",
  title =        "Bibster - A Semantics-Based Bibliographic Peer-to-Peer System",
  journal = 	 "Journal of Web Semantics",
  year = 	 2005,
  volume =	 2,
  number =	 1,
  pages =        6,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JWS05.pdf"
}

@article{JWS09,
  title = "Marvin: Distributed reasoning over large-scale Semantic Web data",
  author = "Eyal Oren and Spyros Kotoulas and George Anadiotis and 
            Ronny Siebes and Annette ten Teije and Frank van Harmelen",
  journal = "Journal of Web Semantics",
  volume = "7",
  number = "4",
  pages = "305-316",
  year = "2009",
  issn = "1570-8268",
  doi = "DOI: 10.1016/j.websem.2009.09.002",
  url =
  "http://www.sciencedirect.com/science/article/B758F-4X9FGTT-4/2/e6f908f9ff6e3c26bbaca616fe7597ad",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JWS09.pdf"
}

@InProceedings{K-CAP01,
  author =       "H. Stuckenschmidt and F. van Harmelen",
  title =        "Ontology-based Metadata Generation from Semi-Structured Information",
  booktitle =    "Proceedings of the First Conference on Knowledge
  Capture (K-CAP'01)",
  year =         2001,
  pages =        "163-170",
  address =      "Victoria, Canada",
  month =        "October",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/K-CAP01.pdf"
}

@Article{KAIS02,
  author = 	 "Dieter Fensel and Enrico Motta and V. Richard Benjamins and 
                  Monica Crubezy and Stefan Decker and Mauro Gaspari and 
                  Rix Groenboom and William Grosso and Frank van Harmelen and 
		  Mark Musen and Enric Plaza and Guus Schreiber and 
		  Rudi Studer and Bob Wielinga",
  title = 	 "The Unified Problem-solving Method Development Language UPML",
  journal = 	 "Knowledge and Information Systems",
  year = 	 2002,
  volume =	 5,
  number =	 1,
  pages  =       "83-131",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KAIS02.pdf"
}

@Article{KAIS03,
  author = 	 "Perry Groot and Annette ten Teije and Frank van Harmelen",
  title = 	 "A quantitative analysis of the robustness of Knowledge-Based Systems through degradation studies",
  journal = 	 "Knowledge and Information Systems",
  year = 	 2003,
  volume =	 7,
  number =	 2,
  pages  =       "224-245",
  URL = "http://www.springerlink.com/app/home/contribution.asp?wasp=8cac231awn5ynvebaddj&referrer=parent&backto=issue,5,6;journal,2,25;linkingpublicationresults,1:105441,1",
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KAIS03.pdf"
}

@Article{KAIS06,
  author = 	 "Peter Haase and Ronny Siebes and Frank van Harmelen",
  title = 	 "Expertise-based Peer Selection in Peer-to-Peer Networks",
  journal = 	 "Knowledge and Information Systems",
  year = 	 2006,
  URL =          "http://dx.doi.org/10.1007/s10115-006-0055-1",
  volume =	 15,
  number =	 1,
  pages  =       "75-107",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KAIS06.pdf"
}

@Article{KAIS10,
  author = 	 "Yi Zeng and Ning Zhong and Yan Wang and Yulin Qin and 
                  Zhisheng Huang and Haiyan Zhou and Yiyu Yao and 
                  Frank van Harmelen",
  title = 	 "User-centric query refinement and processing using granularity-based strategies",
  journal = 	 "Knowledge and Information Systems",
  year = 	 2010,
  URL =          "http://dx.doi.org/10.1007/s10115-010-0298-8",
   volume =	 "xx",
  number =	 "xx",
  pages =        "1-32",
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KAIS10.pdf"
}

@Article{KAJ92,
  author =       "F. van Harmelen and J. Balder",
  title =        "{(ML)}$^2$: a formal language for {KADS} models of expertise",
  journal =      "Knowledge Acquisition Journal",
  year =         1992,
  volume =       4,
  number =       1,
  pages =        "127-161",
  note =         "Special issue: `The {KADS} approach to knowledge
                 engineering', reprinted in {\em {KADS}: A Principled
                 Approach to Knowledge-Based System Development}, 1993,
                 Schreiber, A.Th. {\em et al.} (eds.) ",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KAJ92.pdf"
}

@InProceedings{KAW98,
  author =	"Frank van Harmelen and Annette ten Teije",
  title =	"Characterising Problem Solving Methods by gradual requirements",
  booktitle = "Proceedings of the Eleventh Workshop on Knowledge Acquisition for
               Knowledge-Based Systems (KAW'98)",
  year =      "1998",
  date =      "April",
  address =   "Banff, Alberta",
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KAW98.pdf"
}

@Article{KBS04,
  author = 	 "Heiner Stuckenschmidt and Frank van Harmelen",
  title = 	 "Generating and Managing Metadata for Web-Based Information Systems",
  journal =	 "Knowledge-based Systems",
  year =	 2004,
  volume =       17,
  pages =	 "201-206",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KBS04.pdf"
}

@InProceedings{KCAP09,
  author =       "F. van Harmelen and A. ten Teije and H. Wache",
  title =        "Knowledge Engineering rediscovered: Towards Reasoning Patterns for the Semantic Web",
  editor =       "N. Noy",
  pages =        "81-88",
  booktitle =    "The Fifth International Conference on Knowledge Capture",
  publisher =    "ACM",
  year =         2009,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KCAP09.pdf"
}

@Article{KER02,
  author =       "F. van Harmelen",
  title =        "How the Semantic Web will change KR: challenges and opportunities for a new research agenda",
  journal =      "The Knowledge Engineering Review",
  volume =       17,
  number =       1,
  year =         2002,
  pages =        "93--96",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KER02.pdf"
}

@article{KER94,
  author =      "D. Fensel and F. van Harmelen",
  title =       "A comparison of languages which operationalise and formalise {KADS} models of expertise",
  journal =     "The Knowledge Engineering Review",
  volume =    9,
  pages =       "105--146",
  year =        1994,
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KER94.pdf"
}

@Article{KER95,
  author =       "F. van Harmelen and D. Fensel",
  title =        "Formal Methods in Knowledge Engineering",
  journal =      "The Knowledge Engineering Review",
  volume =       10,
  number =       4,
  year =         1995,
  pages =        "345--360",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KER95.pdf"
}

@InProceedings{KR00,
  author =       "A. Verberne and F. van Harmelen and A. ten Teije",
  title =        "Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation",
  booktitle = 	 "Proceedings of the Seventh International Conference on
                  Principles of Knowledge Representation and Reasoning
		  ({KR'00})",
  year = 	 2000,
  address = 	 "Boulder, Colorado",
  month = 	 "April",
  pages = 	 "",
  keywords = {Approximate Reasoning, Diagnostic Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KR00.pdf"
}

@InProceedings{KR04,
  author =       "P. Groot and A. ten Teije and F. van Harmelen",
  title =        "Towards a Structured Analysis of Approximate Problem Solving: a Case Study in Classification ",
  booktitle = 	 "Proceedings of the Ninth International Conference on
                  Principles of Knowledge Representation and Reasoning
		  ({KR'04})",
  year = 	 2004,
  address = 	 "Whistler, Colorado",
  month = 	 "June",
  pages = 	 "",
  keywords = {Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KR04.pdf"
}

@InProceedings{KR96,
  author =       "A. ten Teije and F. van Harmelen",
  title =        "Computing approximate diagnoses by using approximate entailment",
  booktitle = 	 "Proceedings of the Fifth International Conference on
                  Principles of Knowledge Representation and Reasoning
		  ({KR'96})",
  year = 	 1996,
  address = 	 "Boston, Massachusetts",
  month = 	 "November",
  pages = 	 "265-256",
  keywords = {Approximate Reasoning, Diagnostic Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KR96.pdf"
}

@InProceedings{KRMed04,
  author =       "H. Stuckenschmidt and F. van Harmelen and 
                  L. Serafini and P. Bouquet and F. Giunchiglia",
  title =        "Using C-OWL for the Alignment and Merging of Medical Ontologies",
  booktitle = 	 "Proceedings of the First International Workshop on 
                  Formal Biomedical Knowledge Representation ({KRMed'04})",
  editor =       "Udo Hahn",
  year = 	 2004,
  address = 	 "Whistler, Colorado",
  month = 	 "June",
  pages = 	 "8-101",
  URL   =        "http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-102/",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KRMed04.pdf"
}

@InProceedings{META92,
  author =       "F. van Harmelen",
  title =        "Definable naming relations in meta-level systems",
  booktitle =    "Proceedings of the Third Workshop on Meta-programming
                 in Logic ({META'92})",
  year =         1992,
  editor =       "A. Pettorossi",
  publisher =    "Springer-Verlag",
  series =       "Lecture Notes in Computer Science",
  volume =       649,
  pages =        "89--104",
  address =      "Uppsala",
  month =        "June",
  keywords = {Meta-reasoning and Reflection},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/META92.pdf"
}

@InProceedings{META94,
  author =       "F. van Harmelen",
  title =        "A model of costs and benefits of meta-level computation",
  booktitle =    "Proceedings of the Fourth Workshop on
                  Meta-programming in Logic ({META'94})",
  year =         "1994",
  publisher =    "Springer-Verlag",
  series =       "LNCS",
  volume =       883,
  pages =        "248-261",
  month =        jun,
  keywords = {Meta-reasoning and Reflection},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/META94.pdf"
}

@InCollection{MIT01,
  author = 	 "J. Broekstra and A. Kampman and F. van Harmelen",
  title = 	 "Sesame: An Architecture for Storing and Querying RDF Data and Schema Information ",
  booktitle = 	 "Semantics for the WWW",
  publisher =	 "MIT Press",
  year =	 2001,
  editor =	 "D. Fensel, J. Hendler, H. Lieberman
                  and W. Wahlster",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/MIT01.pdf"
}

@InBook{MITPress08,
  author =	 {Luca Console and others},
  editor =	 {E. di Nitto and A.M. Sassen and P. Traverso and A. Zwegers},
  title = 	 {At your service: Service Engineering in the Information Society Technologies Program}, 
  chapter = 	 {WS-DIAMOND: Web Services - DIAgnosability, MONitoring, and
                  Diagnosis},
  publisher = 	 {MIT Press},
  year = 	 2008,
  keywords = {Meta-reasoning and Reflection},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/MITPress08.pdf"
}

@InProceedings{MeaN02,
  author =    "Ronny Siebes and Frank van Harmelen",
  title =     "Ranking Agent Statements for Building Evolving Ontologies",
  booktitle = "Workshop on Meaning Negotation, in conjunction with the 
               Eighteenth National Conference on Artificial Intelligence",
  year =      "2002",
  editor =    "P. Bouquet",
  month =     "July",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/MeaN02.pdf"
}

@InProceedings{NAIC95-KBSspec,
  author = 	 "F. van Harmelen and M. Aben",
  title = 	 "Structure-preserving specification languages for knowledge-based systems (short version)",
  editor =	 "C. Bioch and Y.H. Tan",
  booktitle =	 "Proceedings of the Dutch Conference on AI (NAIC'95)",
  year =	 1995,
  address =	 "Rotterdam",
  month =	 "June",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/NAIC95-KBSspec.pdf"
}

@InProceedings{OntoHandbook03OWL,
  author =       "Grigoris Antoniou and Frank van Harmelen",
  title =        "Web Ontology Language: OWL",
  editor =       "S. Staab and R. Studer",
  booktitle =    "Handbook on Ontologies in Information Systems",
  publisher =    "Springer-Verlag",
  year =         2003,
  pages =        "76-92",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/OntoHandbook03OWL.pdf"
}

@InProceedings{OntoHandbook03Viz,
   title=       "Supporting User Tasks through Visualisation of Light-weight Ontologies",
  author =        "Christiaan Fluit and Marta Sabou and Frank van Harmelen",
  editor =       "S. Staab and R. Studer",
  booktitle =    "Handbook on Ontologies in Information Systems",
  publisher =    "Springer-Verlag",
  pages =        "415-434",
  year =         2003,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/OntoHandbook03Viz.pdf"
}

@inproceedings{OntologiesforMAS05,
   title =     "Query Processing in Ontology-Based Peer-to-Peer Systems",
   author =   "Heiner Stuckenschmidt and Fausto Giunchiglia and
                Frank van Harmelen",
   editor =    "V. Tamma and S. Cranefield and T. Finin and S. Willmott",
   booktitle = "Ontologies for Agents: Theory and Experiences",
   series =    "Whitestein Series in Software Agent Technologies",
   publisher = "Birkhauser",
   year =      2005,
  keywords = {Semantic Web},
   urlPaper = "http://www.cs.vu.nl/~frankh/postscript/OntologiesforMAS05.pdf"
}

@InProceedings{P2P-WWW03,
  author =       "J. Broekstra and M. Ehrig and P. Haase and 
                  F. van Harmelen and A. Kampman and M. Sabou and 
                  R. Siebes and S. Staab and H. Stuckenschmidt and
                  Ch. Tempich",
  title =        "A Metadata Model for Semantics-Based Peer-to-Peer Systems",
  editor =       "",
  booktitle =    "Proceedings of the WWW'03 Workshop on
                  Semantics in Peer-to-Peer and Grid Computing",
  year =         2003,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/P2P@WWW03.pdf"
}

@inproceedings{REWERSE05,
   title =     "Introduction to Semantic Web Ontology Languages",
   author =   "Grigoris Antoniou and Enrico Franconi and Frank van Harmelen",
   editor =    {Norbert Eisinger and Jan Ma{\l}uszy\'nski},
   booktitle =     {Reasoning Web, Proceedings of the Summer School, Malta, 2005},
   series =    {Lecture Notes in Computer Science},
   number =    3564,
   publisher = {Springer-Verlag},
   address =   {Berlin, Heidelberg, New York, Tokyo},
   year =      2005,
  keywords = {Semantic Web},
   urlPaper = "http://www.cs.vu.nl/~frankh/postscript/REWERSE05.pdf"
}

@InProceedings{SARA95,
  author = 	 "F. van Harmelen and A. ten Teije",
  title = 	 "Approximations in diagnosis: motivations and techniques",
  editor =	 "",
  booktitle =	 "Proceedings of the Symposium on Abstraction, Reformulation
                  and Approximation, (\uc{SARA}'95)",
  year =	 1995,
  address =	 "Ville d'Esterl, Canada",
  month =	 "August",
  keywords = {Approximate Reasoning, Diagnostic Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SARA95.pdf"
}

@InBook{SEKTBook09,
  author =	 {S. Bloehdorn and P. Haase and Zh. Huang and Y. Sure
                  and J. Volker and F. van Harmelen and R. Studer},
  editor =	 {J. Davies and M. Grobelnik and D. Mladenic},
  title = 	 {Semantic Knowledge Management},
  chapter = 	 {Ontology Management},
  pages =        {3-20},
  publisher = 	 {Springer},
  ISBN =         {ISBN 978-3-540-88844-4},
  year = 	 2009,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SEKTBook09.pdf"
}

@InProceedings{SEMPGRID04,
  author =       "J. Broekstra and Marc Ehrig and Peter Haase and 
                  Frank van Harmelen and Maarten Menken and Peter Mika and 
		  Bjorn Schnizler and Ronny Siebes",
  title =        "Bibster - A Semantics-Based Bibliographic Peer-to-Peer System",
  booktitle = 	 "The Second Workshop on 
Semantics in Peer-to-Peer and Grid Computing ({SEMPGRID'04})",
  year = 	 2004,
  address = 	 "New York",
  month = 	 "May",
  URL  =         "http://www.isi.edu/~hongsuda/SemPGRID04/",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SEMPGRID04.pdf"
}

@InProceedings{SWAPbook06,
  author =       "R. Siebes and P. Haase and F. van Harmelen",
  title =        "Expertise-Based Peer Selection",
  editor =       "S. Staab and H. Stuckenschmidt",
  booktitle =    "Semantic Web and Peer-to-Peer",
  publisher =    "Springer-Verlag",
  year =         2006,
  pages =        "125-142",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SWAPbook06.pdf"
}

@article{SWJ10,
  title = "A Reasonable Semantic Web",
  author = "Pascal Hitzler and Frank van Harmelen",
  journal = "Semantic Web Journal",
  volume = "1",
  number = "1",
  pages = "39-44",
  year = "2010",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SWJ10.pdf"
}

@InProceedings{SWWS09,
  author =       "R. Stegers and F. van Harmelen and A. ten Teije ",
  title =        "The Free Speech Engine: Conversational web service compatibility for free",
  booktitle =    "International Conference on Semantic Web and Web
                  Services {SWWS'09}",
  year =         2009,
  pages =        "53-59",
  keywords = {Other},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SWWS09.pdf"
}

@InBook{SpatialSemWeb08-Ch3,
  author =	 {Frank van Harmelen},
  editor =	 {Peter van Ooster},
  title = 	 {Creating Spatial Information Infrastructures},
  chapter = 	 {Semantic web technologies as the foundation for 
                  the information infrastructure},
  publisher = 	 {Wiley},
  year = 	 2008,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SpatialSemWeb08-Ch3.pdf"
}

@Article{TKDE01,
  author = 	 "Pascal van Eck and Joeri Engelfriet and Dieter Fensel and 
                  Frank van Harmelen and Yde Venema and Mark Willems",
  title = 	 "A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective",
  journal = 	 "IEEE Transactions on Knowledge and Data Engineering",
  year = 	 2001,
  volume =	 13,
  number =	 3,
  pages =	 "462-496",
  month =	 "May/June",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/TKDE01.pdf"
}

@InProceedings{UI00,
  author = 	 "Frank van Harmelen and Arjohn Kampman and 
                  Heiner Stuckenschmidt and Thomas Vogele",
  title = 	 "Knowledge-Based Meta-Data Validation: Analyzing a Web-Based Information System",
  booktitle =	 "Fourtheenth International Symposium Informatics for 
                  Environmental Protection",
  publisher =    "German Computer Society",
  editor =       "K. Greve",
  year =	 2000,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/UI00.pdf"
}

@InProceedings{VSW01,
  author =       "Frank van Harmelen and Jeen Broekstra and Christiaan Fluit and
                  Herko ter Horst and Arjohn Kampman and Jos van der Meer
		  and Marta Sabou",
  title =        "Ontology-based Information Visualisation",
  booktitle =    "Proceedings of the workshop on Visualisation 
                  of the Semantic Web (VSW'01)",
  year =         2001,
  pages =        "36-48",
  address =      "London",
  note =         "in conjunction with the 5th International Conference 
                  on Information Visualisation",
  month =        "September",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/VSW01.pdf"
}

@InCollection{VSW02,
  author =       "Christiaan Fluit and Marta Sabou and Frank van Harmelen",
  title =        "Ontology-based Information Visualisation",
  booktitle =    "Visualising the Semantic Web",
  year =         2002,
  publisher =    "Springer Verlag",
  editor =       "Vladimir Geroimenko",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/VSW02.pdf"
}

@InCollection{VSW05,
  author =       "Christiaan Fluit and Marta Sabou and Frank van Harmelen",
  title =        "Ontology-based Information Visualisation: Towards Semantic Web Applications",
  booktitle =    "Visualising the Semantic Web (2nd edition)",
  year =         2005,
  publisher =    "Springer Verlag",
  editor =       "Vladimir Geroimenko",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/VSW05.pdf"
}

@InProceedings{WI-book03,
  author =       "Y. Sure and H. Akkermans and J. Broekstra and
                  J. Davies and Y. Ding and A. Duke and R. Engels and 
                  D. Fensel and I. Horrocks and V. Iosif and A. Kampman and 
                  A. Kiryakov and M. Klein and Th. Lau and D. Ognyanov and
		  U. Reimer and K. Simov and R. Studer and J. van der Meer and
                  F van Harmelen",
  title =        "On-To-Knowledge: Semantic Web Enabled Knowledge Management",
  editor =       "N. Zhong and J. Liu and Y. Yao",
  pages =        "277-300",
  booktitle =    "Web Intelligence",
  publisher =    "Springer-Verlag",
  year =         2003,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/WI-book03.pdf"
}

@InProceedings{WI01,
  author =       "H. Stuckenschmidt and F. van Harmelen",
  title =        "Knowledge-Based Validation, Aggregation and Visualization of Meta-Data: Analyzing a Web-Based Information System",
  booktitle =    "Proceedings of the first Asia-Pacific conference on
                  Web Intelligence (WI'2001)",
  year =         2001,
  editor =       "N. Zhong and Y. Yao",
  number =       "2198",
  pages =        "217--226",
  publisher =    "Springer-Verlag",
  series =       "Lecture Notes in Artificial Intelligence",  
  keywords = {Verification and Validation of KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/WI01.pdf"
}

@InProceedings{WM03,
  author =       "M. Ehrig and Ch. Tempich and J. Broekstra and 
                  F. van Harmelen and M. Sabou and R. Siebes and
                  S. Staab and H. Stuckenschmidt",
  title =        "A Metadata Model for Semantics-Based Peer-to-Peer Systems",
  editor =       "",
  booktitle =    "Proceedings of the  second Konferenz Professionelles
                  Wissensmanagement", 
  address =      "Lucern", 
  date =         "April 2-4", 
  year =         "2003",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/WM03.pdf"
}

@InProceedings{WWW-WS04,
  author =       "J. Broekstra and Christiaan Fluit and A. Kampman and 
                  F. van Harmelen and  H. Stuckenschmidt and R.Bhogal
                  and A. Scerri and A. de Waard and E. van Mulligen",
  title =        "The Drug Ontology Project for Elsevier",
  booktitle =    "Proceedings of the WWW'04 workshop on Application Design,
                  Development and Implementation Issues in the Semantic Web",
  year =         2004,
  address =      "New York",
  month =        "May 2004",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/WWW-WS04.pdf"
}

@InProceedings{WWW01,
  author =       "J. Broekstra and M. Klein and S. Decker and D. Fensel 
                  and F. van Harmelen and I. Horrocks",
  title =        "Enabling knowledge representation on the Web by Extending RDF Schema",
  booktitle =    "Proceedings of the tenth World Wide Web conference {WWWW}'10",
  year =         2001,
  pages =        "467-478",
  address =      "Hong Kong",
  month =        "May",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/WWW01.pdf"
}

@InProceedings{WWW07,
  author =       "Risto Gligorov and Zharko Aleksovski and 
                  Warner ten Kate and F. van Harmelen",
  title =        "Using Google Distance to weight approximate ontology matches",
  booktitle =    "Proceedings of the seventeenth World Wide Web conference {WWWW}'07",
  year =         2007,
  pages =        "767-776",
  address =      "Korea",
  month =        "May",
  keywords = {Semantic Web, Approximate Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/WWW07.pdf"
}

@inproceedings{WWW10,
 author =     {Spyros Kotoulas and Eyal Oren and Frank van Harmelen},
 title =      {Mind the data skew: distributed inferencing by speeddating in elastic regions},
 booktitle =  {WWW '10: Proceedings of the 19th international conference
               on World wide web},
 year =       {2010},
 isbn =	      {978-1-60558-799-8},
 pages =      {531--540},
 location =   {Raleigh, North Carolina, USA},
 doi =        {http://doi.acm.org/10.1145/1772690.1772745},
 publisher =  {ACM},
 address =    {New York, NY, USA},
  keywords = {Semantic Web},
 urlPaper = "http://www.cs.vu.nl/~frankh/postscript/WWW10.pdf"
}

@inproceedings{WebScience09,
  author = {Eyal Oren and Spyros Kotoulas and George Anadiotis and Ronny Siebes and
            Annette ten Teije and and Frank van Harmelen},
  title = {MARVIN: A platform for large-scale analysis of Semantic Web data},
  booktitle = {Proceedings of the WebScience '09},
  year = {2009},
  publisher =	 {Society On-Line},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/WebScience09.pdf"
}

@inproceedings{DellaValle2009,
  author = {{Della Valle}, Emanuele and Ceri, Stefano and Braga, Daniele and Celino, Irene and Fensel, Dieter and Harmelen, Frank Van},
  booktitle = {Proceedings of the 1st International Workshop on Stream Reasoning SR2009 Heraklion Crete Greece},
  pages = {1--9},
  title = {{Research Chapters in the area of Stream Reasoning}},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SR2009.pdf"
year = {2009}
}


@InProceedings{eBeW00,
  author =       "Dieter Fensel and Frank van Harmelen and Michel Klein
                  and Hans Akkermans and Jeen Broekstra and
		  Christiaan Fluit and Jos van der Meer and
		  Hans-Peter Schnurr and Rudi Studer and John Hughes and
		  Uwe Krohn and John Davies and Robert Engels and
		  Bernt Bremdal and Fredrik Ygge and Thorsten Lau and
		  Bernd Novotny and Ulrich Reimer and Ian Horrocks",
  title =        "On-To-Knowledge: Ontology-based Tools for Knowledge Management",
  booktitle =    "eBusiness and eWork",
  year =         2000,
  address =      "Madrid",
  month =        "October",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/eBeW00.pdf"
}

@inproceedings{IJCAI89,
  author    = {Alan Bundy and
               Frank van Harmelen and
               Jane Hesketh and
               Alan Smaill and
               Andrew Stevens},
  title     = {A Rational Reconstruction and Extension of Recursion Analysis},
  booktitle = "Proceedings of the Eleventh International Joint Conference on
               Artificial Intelligence ({IJCAI}'89)",
  year      = {1989},
  pages     = {359-365},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IJCAI89.pdf"
}

@Article{JWS11,
  author = 	 "Jacopo Urbani and Spyros Kotoulas and Jason Maassen 
                  and Frank van Harmelen and Henri Bal",
  title = 	 "WebPIE: A Web-scale parallel inference engine using MapReduce",
  journal = 	 "Journal of Web Semantics",
  year = 	 2012,
  volume =	 10,
  pages  =       "59-75",
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JWS12.pdf",
  note =     "http://dx.doi.org/10.1016/j.websem.2011.05.004"
}


@InProceedings{ISWC11,
  author =       {Jacopo Urbani and Frank van Harmelen and 
                  Stefan Schlobach and Henri Bal},
  title =        {QueryPIE: Backward reasoning for OWL Horst over very large
                  knowledge bases}, 
  booktitle =    {Proceedings of the Tenth International Semantic Web
                  Conference},
  pages =        "730-745",
  year =         2011,
  volume =       5823,
  series =       {LNCS},
  publisher =    {Springer},
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC11.pdf"
}

@InProceedings{IJCAI11,
  author =       "A. Buikstra and H.J. Neth and L. Schooler and 
                  A. ten Teije and F. van Harmelen",
  title =        "Ranking query results from Linked Open Data 
                  using a simple cognitive heuristic",
  editor =       "F. McNeill",
  booktitle =    "Proceedings of the IJCAI'11 Workshop on
                  Discovering Meaning on the Go in Large and 
                  Heterogeneous Data",
  year =         2011,
  keywords = {Semantic Web},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IJCAI11-WS.pdf"
}

@InProceedings{11KR4HC,
  author = "Krystyna Milian, Annette ten Teije, Anca Bucur
            and Frank van Harmelen", 
  title = "Patterns of Clinical Trial Eligibility Criteria", 
  booktitle = "Proceedings of the AIME'11 workshop on Knowledge 
               Representation for Healthcare (KR4HC11)", 
  year = 2011,
  publisher = Springer,
  series = "lecture notes AI",
  volume = "6924",
  pages = "145-157",
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KR4HC09-bookversion-2011.pdf"
}

@inproceedings{DBLP:conf/aswc/FangHH11,
  author    = {Jun Fang and
               Zhisheng Huang and
               Frank van Harmelen},
  title     = {A Method of Contrastive Reasoning with Inconsistent Ontologies},
  booktitle = {Joint International Semantic Technology Conference},
  year      = {2011},
  pages     = {1-16},
  ee        = {http://dx.doi.org/10.1007/978-3-642-29923-0_1},
  crossref  = {DBLP:conf/aswc/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JIST2011.pdf"
}

@inproceedings{DBLP:conf/skg/WangHZZH11,
  author    = {Yan Wang and
               Zhisheng Huang and
               Yi Zeng and
               Ning Zhong and
               Frank van Harmelen},
  title     = {Interleaving Reasoning and Selection with Knowledge Summarization},
  booktitle = {Seventh International Conference on Semantics, Knowledge and Grids},
  year      = {2011},
  pages     = {122-129},
  doi       = {http://doi.ieeecomputersociety.org/10.1109/SKG.2011.42},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SKG2011.pdf"
}

@inproceedings{FangHH11,
  author    = {Jun Fang and
               Zhisheng Huang and
               Frank van Harmelen},
  title     = {Contrastive Reasoning with Inconsistent Ontologies},
  booktitle = {Web Intelligence},
  year      = {2011},
  pages     = {191-194},
  doi        = {http://doi.ieeecomputersociety.org/10.1109/WI-IAT.2011.59},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/WI2011.pdf"
}

@article{DBLP:journals/kais/ZengZWQHZYH11,
  author    = {Yi Zeng and
               Ning Zhong and
               Yan Wang and
               Yulin Qin and
               Zhisheng Huang and
               Haiyan Zhou and
               Yiyu Yao and
               Frank van Harmelen},
  title     = {User-centric query refinement and processing using granularity-based
               strategies},
  journal   = {Knowledge and Information Systems},
  volume    = {27},
  number    = {3},
  year      = {2011},
  pages     = {419-450},
  doi       = {http://dx.doi.org/10.1007/s10115-010-0298-8},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KIS2011.pdf"
}

@article{van2012theoretical,
  title={Theoretical and technological building blocks for an innovation accelerator},
  author={van Harmelen, Frank and Kampis, George and B{\"o}rner, Katy and van den Besselaar, Peter and Schultes, Erik and Goble, Carole and Groth, Paul and Mons, Barend and Anderson, Stuart and Decker, Stefan and others},
  journal={The European Physical Journal Special Topics},
  volume={214},
  number={1},
  pages={183--214},
  year={2012},
  publisher={Springer-Verlag},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EPJST2012.pdf"
}

@article{milian2012building,
  title={Building a Library of Eligibility Criteria to Support Design of Clinical Trials},
  author={Milian, Krystyna and Bucur, Anca and van Harmelen, Frank},
  journal={Knowledge Engineering and Knowledge Management},
  pages={327--336},
  year={2012},
  publisher={Springer Berlin/Heidelberg},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW2012.pdf"
}

@incollection{urbani2013dynamite,
  title={DynamiTE: Parallel Materialization of Dynamic RDF Data},
  author={Urbani, Jacopo and Margara, Alessandro and Jacobs, Ceriel and van Harmelen, Frank and Bal, Henri},
  booktitle={The Semantic Web--ISWC 2013},
  pages={657--672},
  year={2013},
  publisher={Springer Berlin Heidelberg},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ISWC2013.pdf"
}

@InProceedings{AIME2013-APDG,
  author = 	 {Huang, Zhisheng and van Harmelen, Frank and ten Teije,
                  Annette and Dentler, Kathrin},
  title = 	 {Knowledge-based Patient Data Generation},
  booktitle = {Proceedings of the 14th Conference on Artificial
                  Intelligence in Medicine, AIME 2013},
  year = 	 2013,  
  editor = 	 {Niels Peek, Roque Marín Morales, Mor Peleg},
  volume = 	 7885,
  series = 	 {LNCS},
  pages = 	 {38-47},
  month = 	 {May},
  address = 	 {Murcia, Spain},
  publisher = {Springer},
  doi = {10.1007/978-3-642-38326-7_7},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KR4HC-2013-APDG.pdf"
}

@InProceedings{AAAI-Fall-2013,
  author = 	 {Wouter Beek and Stefan Schlobach and Frank van Harmelen},
  title = 	 {Rough Set Semantics for Identity on the Web},
  booktitle = 	 {AAAI Fall Symposium Semantics for Big Data},
  year =	 2013,
  editor =	 {F. van Harmelen and J. Hendler and P. Hitzler and K. Janowicz},
  organization = {AAAI},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AAAI-Fall-Symposium-2013.pdf"
}

@InProceedings{AIME2013-rules,
  author = 	 {Zhisheng Huang and Annette ten Teije and Frank van Harmelen},
  title = 	 {Rule-based Formalization of Eligibility Criteria for Clinical Trials},
  booktitle =    {Proceedings of Artificial Intelligence in Medicine, AIME 2013},
  pages =	 {38-47},
  year =	 2013,
  editor =	 {N. Peek and R. Morales and M. Peleg},
  volume =	 7885,
  series =	 {LNCS},
  publisher =	 {Springer Verlag},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIME2013-EligibilityCriteria.pdf"
}

@InProceedings{BNACI2013,
  author = 	 {Zhisheng Huang and Annette ten Teije and Frank van Harmelen},
  title = 	 {A Semantically-Enabled System for Clinical Trials},
  booktitle = 	 {25th Benelux Conference on Artificial Intelligence},
  year =	 2013,
  editor =	 {K. Hindriks and M. de Weerdt and B. van Riemsdijk and M. Warnier},
  month =	 {October},
  organization = {BNVKI},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/BNAIC2013-SemanticCT.pdf"
}

@InProceedings{HealthInf2013,
  author = 	 {Krystina Milian and Anca Bucur and Frank van Harmelen and Annette ten Teije},
  title = 	 {Identifying most relevant concepts to describe clinical trial eligibility criteria},
  booktitle = 	 {International Conference on Health Informatics (HEALTHINF 2013)},
  year =	 2013,
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/HEALTHINF_2013.pdf"
}

@Article{SWJ2013,
  author = 	 {Jacopo Urbani and Robert Piro and Frank van Harmelen and Henri Bal},
  title = 	 {Hybrid reasoning on OWL RL},
  journal = 	 {Semantic Web Journal},
  year = 	 2013,
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/SWJ2013.pdf"
}

@InProceedings{KR4HC-SemanticCT-2013,
  author = 	 {Zhisheng Huang and Annette ten Teije and Frank van Harmelen},
  title = 	 {SemanticCT: A Semantically-Enabled System for Clinical Trials},
  booktitle = 	 {Process Support and Knowledge Representation in Health Care},
  pages =	 {11-25},
  year =	 2013,
  volume =	 8268,
  series =	 {LNCS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KR4HC-2013-SemanticCT.pdf"
}