Frank van Harmelen

Affiliations:
  • VU University Amsterdam, Netherlands


According to our database1, Frank van Harmelen authored at least 268 papers between 1984 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Guideline-informed reinforcement learning for mechanical ventilation in critical care.
Artif. Intell. Medicine, January, 2024

2023
Food4healthKG: Knowledge graphs for food recommendations based on gut microbiota and mental health.
Artif. Intell. Medicine, November, 2023

Refining neural network predictions using background knowledge.
Mach. Learn., September, 2023

Semantic Web Machine Learning Systems: An Analysis of System Patterns.
Proceedings of the Compendium of Neurosymbolic Artificial Intelligence, 2023

Architectural Patterns for Neuro-Symbolic AI.
Proceedings of the Compendium of Neurosymbolic Artificial Intelligence, 2023

Combining Machine Learning and Semantic Web: A Systematic Mapping Study.
ACM Comput. Surv., 2023

Towards Semantically Enriched Embeddings for Knowledge Graph Completion.
CoRR, 2023

A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Evaluating the Effect of Semantic Enrichment on Entity Embeddings of IoT Knowledge Graphs.
Proceedings of the First International Workshop on Semantic Web on Constrained Things co-located with 20th Extended Semantic Web Conference, 2023

Refining Large Integrated Identity Graphs Using the Unique Name Assumption.
Proceedings of the Semantic Web - 20th International Conference, 2023

2022
Planning for potential: efficient safe reinforcement learning.
Mach. Learn., 2022

Recommending scientific datasets using author networks in ensemble methods.
Data Sci., 2022

Human-Centered Artificial Intelligence (Dagstuhl Seminar 22262).
Dagstuhl Reports, 2022

Analyzing Differentiable Fuzzy Logic Operators.
Artif. Intell., 2022

What does it mean when your URIs are redirected? Examining identity and redirection in the LOD cloud.
Proceedings of the 8th Workshop on Managing the Evolution and Preservation of the Data Web (MEPDaW) co-located with the 21st International Semantic Web Conference (ISWC 2022), 2022

Scientific Item Recommendation Using a Citation Network.
Proceedings of the Knowledge Science, Engineering and Management, 2022

Reinforcement Learning with Option Machines.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Food Recommendation for Mental Health by Using Knowledge Graph Approach.
Proceedings of the Health Information Science - 11th International Conference, 2022

2021
Network metrics for assessing the quality of entity resolution between multiple datasets.
Semantic Web, 2021

Structure and Learning (Dagstuhl Seminar 21362).
Dagstuhl Reports, 2021

Modular Design Patterns for Hybrid Learning and Reasoning Systems: a taxonomy, patterns and use cases.
CoRR, 2021

Modular design patterns for hybrid learning and reasoning systems.
Appl. Intell., 2021

Modular Design Patterns for Systems that Learn and Reason.
Proceedings of the WI-IAT '21: IEEE/WIC/ACM International Conference on Web Intelligence, Melbourne VIC Australia, December 14, 2021

Keynote.
Proceedings of the Machine Learning with Symbolic Methods and Knowledge Graphs co-located with European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD 2021), 2021

Refining Transitive and Pseudo-Transitive Relations at Web Scale.
Proceedings of the Semantic Web - 18th International Conference, 2021

Biomedical Dataset Recommendation.
Proceedings of the 10th International Conference on Data Science, 2021

2020
Constructing and Cleaning Identity Graphs in the LOD Cloud.
Data Intell., 2020

End-to-End Entity Classification on Multimodal Knowledge Graphs.
CoRR, 2020

A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence.
Computer, 2020

Evaluating Similarity Measures for Dataset Search.
Proceedings of the Web Information Systems Engineering - WISE 2020, 2020

Hybrid Intelligence: AI Systems that Collaborate with People Instead of Replacing Them.
Proceedings of the 16th International Conference on Web Information Systems and Technologies, 2020

Analyzing Differentiable Fuzzy Implications.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Bottom-up Discovery of Context-aware Quality Constraints for Heterogeneous Knowledge Graphs.
Proceedings of the 12th International Joint Conference on Knowledge Discovery, 2020

Ontology-based Methods for Classifying Scientific Datasets into Research Domains: Much Harder than Expected.
Proceedings of the 12th International Joint Conference on Knowledge Discovery, 2020

Ontology-Based Semantic Similarity Approach for Biomedical Dataset Retrieval.
Proceedings of the Health Information Science - 9th International Conference, 2020

MetaLink: A Travel Guide to the LOD Cloud.
Proceedings of the Semantic Web - 17th International Conference, 2020

Handling Impossible Derivations During Stream Reasoning.
Proceedings of the Semantic Web - 17th International Conference, 2020

2019
User-centric pattern mining on knowledge graphs: An archaeological case study.
J. Web Semant., 2019

A Boxology of Design Patterns forHybrid Learningand Reasoning Systems.
J. Web Eng., 2019

Semi-supervised Learning using Differentiable Reasoning.
FLAP, 2019

The sameAs Problem: A Survey on Identity Management in the Web of Data.
CoRR, 2019

The Linked Open Data cloud is more abstract, flatter and less linked than you may think!
CoRR, 2019

Recent advances in extracting and processing rich semantics from medical texts.
Artif. Intell. Medicine, 2019

Reinforcement Learning for Personalized Dialogue Management.
Proceedings of the 2019 IEEE/WIC/ACM International Conference on Web Intelligence, 2019

Entity Enabled Relation Linking.
Proceedings of the Semantic Web - ISWC 2019, 2019

Observing LOD Using Equivalent Set Graphs: It Is Mostly Flat and Sparsely Linked.
Proceedings of the Semantic Web - ISWC 2019, 2019

Triplifying Equivalence Set Graphs.
Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, 2019

Contextual Entity Disambiguation in Domains with Weak Identity Criteria: Disambiguating Golden Age Amsterdamers.
Proceedings of the 10th International Conference on Knowledge Capture, 2019

Combining learning and reasoning: new challenges for knowledge graphs.
Proceedings of the Extraction et Gestion des connaissances, 2019

A Boxology of Design Patterns for Hybrid Learning and Reasoning Systems.
Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), 2019

2018
Détection de liens d'identité erronés en utilisant la détection de communautés dans les graphes d'identité.
Ingénierie des Systèmes d Inf., 2018

Detecting Erroneous Identity Links on the Web Using Network Metrics.
Proceedings of the Semantic Web - ISWC 2018, 2018

sameAs.cc: The Closure of 500M owl: sameAs Statements.
Proceedings of the Semantic Web - 15th International Conference, 2018

2017
Stream reasoning: A survey and outlook.
Data Sci., 2017

Analyzing interactions on combining multiple clinical guidelines.
Artif. Intell. Medicine, 2017

An Ontology Model for Narrative Image Annotation in the Field of Cultural Heritage.
Proceedings of the Second Workshop on Humanities in the Semantic Web (WHiSe II) co-located with 16th International Semantic Web Conference (ISWC 2017), 2017

Semantically Mapping Science (SMS) Platform.
Proceedings of the First Workshop on Enabling Open Semantic Science co-located with 16th International Semantic Web Conference (ISWC 2017), 2017

An Empirical Study on How the Distribution of Ontologies Affects Reasoning on the Web.
Proceedings of the Semantic Web - ISWC 2017, 2017

Is my: sameAs the same as your: sameAs?: Lenticular Lenses for Context-Specific Identity.
Proceedings of the Knowledge Capture Conference, 2017

Constructing Knowledge Graphs of Depression.
Proceedings of the Health Information Science - 6th International Conference, 2017

Constructing Disease-Centric Knowledge Graphs: A Case Study for Depression (short Version).
Proceedings of the Artificial Intelligence in Medicine, 2017

2016
Inferring recommendation interactions in clinical guidelines.
Semantic Web, 2016

LOD Laundromat: Why the Semantic Web Needs Centralization (Even If We Don't Like It).
IEEE Internet Comput., 2016

SWISH for Prototyping Clinical Guideline Interactions Theory.
Proceedings of the 9th International Conference Semantic Web Applications and Tools for Life Sciences, 2016

SCRY: Extending SPARQL with Custom Data Processing Methods for the Life Sciences.
Proceedings of the 9th International Conference Semantic Web Applications and Tools for Life Sciences, 2016

Are Names Meaningful? Quantifying Social Meaning on the Semantic Web.
Proceedings of the Semantic Web - ISWC 2016, 2016

Knowledge-Driven Paper Retrieval to Support Updating of Clinical Guidelines - A Use Case on PubMed.
Proceedings of the Knowledge Representation for Health Care, 2016

Detecting New Evidences for Evidence-Based Medical Guidelines with Journal Filtering.
Proceedings of the Knowledge Representation for Health Care, 2016

Knowledge Services Using Rule-Based Formalization for Eligibility Criteria of Clinical Trials.
Proceedings of the Health Information Science - 5th International Conference, 2016

A Task-based Comparison of Linguistic and Semantic Document Retrieval Methods in the Medical Domain.
Proceedings of the Joint Proceedings of the 2th Workshop on Emotions, 2016

Adaptive Linked Data-Driven Web Components: Building Flexible and Reusable Semantic Web Interfaces - Building Flexible and Reusable Semantic Web Interfaces.
Proceedings of the Semantic Web. Latest Advances and New Domains, 2016

A Contextualised Semantics for owl: sameAs.
Proceedings of the Semantic Web. Latest Advances and New Domains, 2016

Generalizing the Detection of Clinical Guideline Interactions Enhanced with LOD.
Proceedings of the Biomedical Engineering Systems and Technologies, 2016

Generalizing the Detection of Internal and External Interactions in Clinical Guidelines.
Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2016), 2016

A Topic-centric Approach to Detecting New Evidences for Evidence-based Medical Guidelines.
Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2016), 2016

2015
Semantic technologies for historical research: A survey.
Semantic Web, 2015

Enhancing reuse of structured eligibility criteria and supporting their relaxation.
J. Biomed. Informatics, 2015

Why the Data Train Needs Semantic Rails.
AI Mag., 2015

Semantics for Big Data.
AI Mag., 2015

A Compact In-Memory Dictionary for RDF Data.
Proceedings of the Semantic Web. Latest Advances and New Domains, 2015

Analyzing Recommendations Interactions in Clinical Guidelines - Impact of Action Type Hierarchies and Causation Beliefs.
Proceedings of the Artificial Intelligence in Medicine, 2015

Identifying Evidence Quality for Updating Evidence-Based Medical Guidelines.
Proceedings of the Knowledge Representation for Health Care, 2015

Detecting New Evidence for Evidence-Based Guidelines Using a Semantic Distance Method.
Proceedings of the Artificial Intelligence in Medicine, 2015

2014
Streaming the Web: Reasoning over dynamic data.
J. Web Semant., 2014

Hybrid reasoning on OWL RL.
Semantic Web, 2014

Reports on the 2013 AAAI Fall Symposium Series.
AI Mag., 2014

Towards a Conceptual Model for Enhancing Reasoning About Clinical Guidelines - A Case-Study on Comorbidity.
Proceedings of the Knowledge Representation for Health Care - 6th International Workshop, 2014

Semantic Representation of Evidence-Based Clinical Guidelines.
Proceedings of the Knowledge Representation for Health Care - 6th International Workshop, 2014

A Conceptual Model for Detecting Interactions among Medical Recommendations in Clinical Guidelines - A Case-Study on Multimorbidity.
Proceedings of the Knowledge Engineering and Knowledge Management, 2014

Evidence-Based Clinical Guidelines in SemanticCT.
Proceedings of the Semantic Web and Web Science - 8th Chinese Conference, 2014

Feasibility Estimation for Clinical Trials.
Proceedings of the HEALTHINF 2014, 2014

2013
DynamiTE: Parallel Materialization of Dynamic RDF Data.
Proceedings of the Semantic Web - ISWC 2013, 2013

Identifying Most Relevant Concepts to Describe Clinical Trial Eligibility Criteria.
Proceedings of the HEALTHINF 2013, 2013

SemanticCT: A Semantically-Enabled System for Clinical Trials.
Proceedings of the Process Support and Knowledge Representation in Health Care, 2013

Rule-Based Formalization of Eligibility Criteria for Clinical Trials.
Proceedings of the Artificial Intelligence in Medicine, 2013

Knowledge-Based Patient Data Generation.
Proceedings of the Process Support and Knowledge Representation in Health Care, 2013

Organizing Committee.
Proceedings of the 2013 AAAI Fall Symposia, Arlington, Virginia, USA, November 15-17, 2013, 2013

Rough Set Semantics for Identity on the Web.
Proceedings of the 2013 AAAI Fall Symposia, Arlington, Virginia, USA, November 15-17, 2013, 2013

2012
Corrigendum to "WebPIE: A Web-scale Parallel Inference Engine using MapReduce" [Web Semant. Sci. Serv. Agents World Wide Web 10 (2012) 59-75].
J. Web Semant., 2012

Reply to comment on "WebPIE: A Web-scale parallel inference engine using MapReduce".
J. Web Semant., 2012

WebPIE: A Web-scale Parallel Inference Engine using MapReduce.
J. Web Semant., 2012

Cognitive Approaches for the Semantic Web (Dagstuhl Seminar 12221).
Dagstuhl Reports, 2012

Theoretical And Technological Building Blocks For An Innovation Accelerator
CoRR, 2012

Building a Library of Eligibility Criteria to Support Design of Clinical Trials.
Proceedings of the Knowledge Engineering and Knowledge Management, 2012

A Semantic Web Primer, 3rd Edition.
MIT Press, ISBN: 978-0-262-01828-9, 2012

2011
KR and Reasoning on the Semantic Web: Web-Scale Reasoning.
Proceedings of the Handbook of Semantic Web Technologies, 2011

User-centric query refinement and processing using granularity-based strategies.
Knowl. Inf. Syst., 2011

Contrastive Reasoning with Inconsistent Ontologies.
Proceedings of the 2011 IEEE/WIC/ACM International Conference on Web Intelligence, 2011

Interleaving Reasoning and Selection with Knowledge Summarization.
Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

QueryPIE: Backward Reasoning for OWL Horst over Very Large Knowledge Bases.
Proceedings of the Semantic Web - ISWC 2011, 2011

Keynote: 10 Years of Semantic Web Research: Searching for Universal Patterns.
Proceedings of the Semantic Web - ISWC 2011, 2011

Ranking Query Results from Linked Open Data using a simple cognitive heuristic.
Proceedings of the Workshop on Discovering Meaning On the Go in Large Heterogeneous Data 2011 (LHD-11), 2011

Knowledge Engineering Rediscovered: Towards Reasoning Patterns for the Semantic Web.
Proceedings of the Foundations for the Web of Information and Services, 2011

A Method of Contrastive Reasoning with Inconsistent Ontologies.
Proceedings of the Semantic Web - Joint International Semantic Technology Conference, 2011

Patterns of Clinical Trial Eligibility Criteria.
Proceedings of the Knowledge Representation for Health-Care, 2011

2010
A reasonable Semantic Web.
Semantic Web, 2010

Preface - Special issue on commonsense reasoning for the semantic web.
Ann. Math. Artif. Intell., 2010

Mind the data skew: distributed inferencing by speeddating in elastic regions.
Proceedings of the 19th International Conference on World Wide Web, 2010

A Workbench for Anytime Reasoning by Ontology Approximation - With a case study on instance retrieval.
Proceedings of the STAIRS 2010, 2010

Finding the Achilles Heel of the Web of Data: Using Network Analysis for Link-Recommendation.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Case Frames as Contextual Mappings to Case Law in BestPortal.
Proceedings of the Legal Knowledge and Information Systems, 2010

OWL Reasoning with WebPIE: Calculating the Closure of 100 Billion Triples.
Proceedings of the Semantic Web: Research and Applications, 2010

Towards Expressive Stream Reasoning.
Proceedings of the Semantic Challenges in Sensor Networks, 24.01. - 29.01.2010, 2010

2009

Web Ontology Language: OWL.
Proceedings of the Handbook on Ontologies, 2009

Marvin: Distributed reasoning over large-scale Semantic Web data.
J. Web Semant., 2009

It's a Streaming World! Reasoning upon Rapidly Changing Information.
IEEE Intell. Syst., 2009

Using model checking for critiquing based on clinical guidelines.
Artif. Intell. Medicine, 2009

The Free Speech Engine: Conversational Web Service Compatibility for Free.
Proceedings of the 2009 International Conference on Semantic Web & Web Services, 2009

Scalable Distributed Reasoning Using MapReduce.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

09161 Summary - Generalization of spatial information.
Proceedings of the Generalization of spatial information, 13.04. - 17.04.2009, 2009

09161 Abstracts Collection - Generalization of spatial information.
Proceedings of the Generalization of spatial information, 13.04. - 17.04.2009, 2009

Large Scale Reasoning on the Semantic Web: What to Do When Success Is Becoming a Problem.
Proceedings of the Brain Informatics, International Conference, BI 2009, 2009

Identifying Disease-Centric Subdomains in Very Large Medical Ontologies: A Case-Study on Breast Cancer Concepts in SNOMED CT. Or: Finding 2500 Out of 300.000.
Proceedings of the Knowledge Representation for Health-Care: Data, 2009

Ontology Management.
Proceedings of the Semantic Knowledge Management, 2009

2008
Retrieval of Case Law to Provide Layman with Information about Liability: Preliminary Results of the BEST-Project.
Proceedings of the Computable Models of the Law, Languages, Dialogues, Games, Ontologies, 2008

Dynamic Aspects of OPJK Legal Ontology.
Proceedings of the Computable Models of the Law, Languages, Dialogues, Games, Ontologies, 2008

The Semantic Web: Webizing Knowledge Representation.
Proceedings of the Handbook of Knowledge Representation, 2008

Expertise-based peer selection in Peer-to-Peer networks.
Knowl. Inf. Syst., 2008

Using Semantic Distances for Reasoning with Inconsistent Ontologies.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Towards LarKC: A Platform for Web-Scale Reasoning.
Proceedings of the 2th IEEE International Conference on Semantic Computing (ICSC 2008), 2008

Semantic Web Meets ILP: Unconsumated Love, or No Love Lost?.
Proceedings of the Inductive Logic Programming, 18th International Conference, 2008

Reasoning about Repairability of Workflows at Design Time.
Proceedings of the Business Process Management Workshops, 2008

A Semantic Web Primer, 2nd Edition.
Cooperative information systems, MIT Press, ISBN: 978-0-262-01242-3, 2008

2007
Where is the Web in the Semantic Web?
J. Web Semant., 2007

Debugging Incoherent Terminologies.
J. Autom. Reason., 2007

Unifying Reasoning and Search to Web Scale.
IEEE Internet Comput., 2007

Extraction and use of linguistic patterns for modelling medical guidelines.
Artif. Intell. Medicine, 2007

Using Google distance to weight approximate ontology matches.
Proceedings of the 16th International Conference on World Wide Web, 2007

Anytime Classification by Ontology Approximation.
Proceedings of the First International Workshop Workshop "New forms of reasoning for the Semantic Web: scalable, 2007

The OpenKnowledge System: An Interaction-Centered Approach to Knowledge Sharing.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007


Case law retrieval by concept search and visualization.
Proceedings of the Eleventh International Conference on Artificial Intelligence and Law, 2007

Media, Politics and the Semantic Web.
Proceedings of the Semantic Web: Research and Applications, 2007

The Role of Model Checking in Critiquing Based on Clinical Guidelines.
Proceedings of the Artificial Intelligence in Medicine, 2007

2006
Improving medical protocols by formal methods.
Artif. Intell. Medicine, 2006

Meaning on the web: evolution vs intelligent design?
Proceedings of the 15th international conference on World Wide Web, 2006

Exploiting the Structure of Background Knowledge Used in Ontology Matching.
Proceedings of the 1st International Workshop on Ontology Matching (OM-2006) Collocated with the 5th International Semantic Web Conference (ISWC-2006), 2006

Thesaurus-based Retrieval of Case Law.
Proceedings of the Legal Knowledge and Information Systems, 2006

Two Obvious Intuitions: Ontology-Mapping Needs Background Knowledge and Approximation.
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Where Does It Break? or: Why the Semantic Web Is Not Just "Research as Usual".
Proceedings of the Semantic Web: Research and Applications, 2006

From Natural Language to Formal Proof Goal.
Proceedings of the Managing Knowledge in a World of Networks, 2006

Matching Unstructured Vocabularies Using a Background Ontology.
Proceedings of the Managing Knowledge in a World of Networks, 2006

Semantic Web Research Anno 2006: Main Streams, Popular Fallacies, Current Status and Future Challenges.
Proceedings of the Cooperative Information Agents X, 10th International Workshop, 2006

Ontology-Based Information Visualization: Toward Semantic Web Applications.
Proceedings of the Visualizing the Semantic Web: XML-Based Internet and Information Visualization, 2006

Preface.
Proceedings of the Fuzzy Logic and the Semantic Web, 2006

Peer-to-Peer and Semantic Web.
Proceedings of the Semantic Web and Peer-to-Peer, 2006

Expertise-Based Peer Selection.
Proceedings of the Semantic Web and Peer-to-Peer, 2006

Bibster - A Semantics-Based Bibliographic Peer-to-Peer System.
Proceedings of the Semantic Web and Peer-to-Peer, 2006

2005
Information Sharing on the Semantic Web.
Advanced Information and Knowledge Processing, Springer, ISBN: 978-3-540-26907-6, 2005

A quantitative analysis of the robustness of knowledge-based systems through degradation studies.
Knowl. Inf. Syst., 2005

A Framework for Handling Inconsistency in Changing Ontologies.
Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

Introduction to Semantic Web Ontology Languages.
Proceedings of the Reasoning Web, 2005

The Legal Concepts and the Layman's Terms - Bridging the Gap through Ontology-Based Reasoning about Liability.
Proceedings of the Legal Knowledge and Information Systems, 2005

Reasoning with Inconsistent Ontologies.
Proceedings of the BNAIC 2005, 2005

Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines.
Proceedings of the Artificial Intelligence in Medicine, 2005

Ontology Mapping: A Way Out of the Medical Tower of Babel?
Proceedings of the Artificial Intelligence in Medicine, 2005

Formalising Medical Quality Indicators to Improve Guidelines.
Proceedings of the Artificial Intelligence in Medicine, 2005

2004
Bibster - a semantics-based bibliographic Peer-to-Peer system.
J. Web Semant., 2004

Contextualizing ontologies.
J. Web Semant., 2004

Generating and managing metadata for Web-based information systems.
Knowl. Based Syst., 2004

Exploring Large Document Repositories with RDF Technology: The DOPE Project.
IEEE Intell. Syst., 2004

The Semantic Web: What, Why, How, and When.
IEEE Distributed Syst. Online, 2004

A tool for gene expression based PubMed search through combining data sources.
Bioinform., 2004

The Drug Ontology Project for Elsevier - An RDF Architecture Enabling Thesaurus-Driven Data Integration.
Proceedings of the WWW2004 Workshop on Application Design, 2004

Using C-OWL for the alignment and merging of medical ontologies.
Proceedings of the KR-MED 2004, 2004

Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Peer Selection in Peer-to-Peer Networks with Semantic Topologies.
Proceedings of the Semantics for Grid Databases, 2004

A Topic-Based Browser for Large Online Resources.
Proceedings of the Engineering Knowledge in the Age of the Semantic Web, 2004

Configuration of Web Services as Parametric Design.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Protocure: Supporting the Development of Medical Protocols through Formal Methods.
Proceedings of the Computer-based Support for Clinical Guidelines and Protocols, 2004

Supporting User Tasks through Visualisation of Light-weight Ontologies.
Proceedings of the Handbook on Ontologies, 2004

Web Ontology Language: OWL.
Proceedings of the Handbook on Ontologies, 2004

A semantic web primer.
MIT Press, ISBN: 978-0-262-01210-2, 2004

2003
From SHIQ and RDF to OWL: the making of a Web Ontology Language.
J. Web Semant., 2003

The Unified Problem-Solving Method Development Language UPML.
Knowl. Inf. Syst., 2003

SWAP: Ontology-based Knowledge Management with Peer-to-Peer Technology.
Proceedings of the WM 2003: Professionelles Wissensmanagement, 2003

C-OWL: Contextualizing Ontologies.
Proceedings of the Semantic Web, 2003

Ontologies and Schema Languages on the Web.
Proceedings of the Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential [outcome of a Dagstuhl seminar], 2003

Sesame: An Architecture for Storin gand Querying RDF Data and Schema Information.
Proceedings of the Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential [outcome of a Dagstuhl seminar], 2003

Experiences in the Formalisation and Verification of Medical Protocols.
Proceedings of the Artificial Intelligence in Medicine, 2003

Informal and Formal Medical Guidelines: Bridging the Gap.
Proceedings of the Artificial Intelligence in Medicine, 2003

2002
How the semantic web will change KR: challenges and opportunities for a new research agenda.
Knowl. Eng. Rev., 2002

Enabling knowledge representation on the Web by extending RDF Schema.
Comput. Networks, 2002

Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema.
Proceedings of the Semantic Web, 2002

Approximating Terminological Queries.
Proceedings of the Flexible Query Answering Systems, 5th International Conference, 2002

Learning Structural Classification Rules for Web-Page Categorization.
Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference, 2002

From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols.
Proceedings of the Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, 2002

Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

Ontology-based Information Visualization.
Proceedings of the Visualizing the Semantic Web, 2002

2001
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective.
IEEE Trans. Knowl. Data Eng., 2001

OIL: An Ontology Infrastructure for the Semantic Web.
IEEE Intell. Syst., 2001

Knowledge-Based Validation, Aggregation, and Visualization of Meta-data: Analyzing a Web-Based Information System.
Proceedings of the Web Intelligence: Research and Development, 2001

Ontology-based metadata generation from semi-structured information.
Proceedings of the First International Conference on Knowledge Capture (K-CAP 2001), 2001

Ontology-Based Information Visualisation.
Proceedings of the International Conference on Information Visualisation, 2001

Using Critiquing for Improving Medical Protocols: Harder than It Seems.
Proceedings of the Artificial Intelligence Medicine, 2001

2000
The Semantic Web: The Roles of XML and RDF.
IEEE Internet Comput., 2000

Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation.
Proceedings of the KR 2000, 2000

Maintenance of KBS's by Domain Experts: The Holy Grail in Practice.
Proceedings of the Intelligent Problem Solving, 2000

Torture Tests: A Quantitative Analysis for the Robustness of Knowledge-Based Systems.
Proceedings of the Knowledge Acquisition, 2000

OIL in a Nutshell.
Proceedings of the Knowledge Acquisition, 2000

Describing Problem Solving Methods using Anytime Performance Profiles.
Proceedings of the ECAI 2000, 2000

Knowledge Representation on the Web.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

1999
Editorial: Evaluating knowledge engineering techniques.
Int. J. Hum. Comput. Stud., 1999

A study of PROforma, a development methodology for clinical procedures.
Artif. Intell. Medicine, 1999

Practical Knowledge Representation for the Web.
Proceedings of the IJCAI-99 Workshop on Intelligent Information Integration, 1999

WebMaster: Knowledge-Based Verification of Web-Pages.
Proceedings of the Multiple Approaches to Intelligent Systems, 1999

Formally Verifying Dynamic Properties of Knowledge Based Systems.
Proceedings of the Knowledge Acquisition, Modeling and Management, 11th European Workshop, 1999

1998
Construction of problem-solving methods as parametric design.
Int. J. Hum. Comput. Stud., 1998

Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events.
AI Mag., 1998

Characterising approximate problem solving: by partially fulfilled pre- and postconditions.
Proceedings of the 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, 1998

Characterising Approximate Problem-Solving: From Partially Fulfilled Preconditions to Partially Achieved Functionality.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Specification of Dynamics for Knowledge-Based Systems.
Proceedings of the Transactions and Change in Logic Databases, 1998

1997
Applying rule-base anomalies to KADS inference structures.
Decis. Support Syst., 1997

Formalisation for decision support in anaesthesiology.
Artif. Intell. Medicine, 1997

Exploiting Domain Knowledge for Approximate Diagnosis.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Validation and Verification of Conceptual Models of Diagnosis.
Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, 1997

1996
Summary of the KEML-96 workshop, Paris, January 15-16, 1996, CNRS, Gif sur Yvette (Paris).
Knowl. Eng. Rev., 1996

Structure-preserving specification languages for knowledge-based systems.
Int. J. Hum. Comput. Stud., 1996

Using reflection techniques for flexible problem solving (with examples from diagnosis).
Future Gener. Comput. Syst., 1996

Evaluating a Formal KBS Specification Language.
IEEE Expert, 1996

Computing Approximate Diagnoses By Using Approximate Entailment.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

The REVISE Project: A Purpose Driven Method for Language Comparison.
Proceedings of the Advances in Knowledge Acquisition, 1996

1995
Formal methods in knowledge engineering.
Knowl. Eng. Rev., 1995

Modelling software components for reuse.
Proceedings of the SEKE'95, 1995

1994
A comparison of languages which operationalize and formalize KADS models of expertise.
Knowl. Eng. Rev., 1994

A functional specification of reusing software components.
Proceedings of the SEKE'94, 1994

A Model of Costs and Benefits of Meta-Level Computation.
Proceedings of the Logic Programming Synthesis and Transformation, 1994

Evaluating a Formal Modelling Language.
Proceedings of the A Future for Knowledge Acquisition, 1994

Using Domain Knowledge to Select Solutions in Abductive Diagnosis.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993
Rippling: A Heuristic for Guiding Inductive Proofs.
Artif. Intell., 1993

1992
Definable Naming Relations in Meta-level Systems.
Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

Controlling Generate & Test in Any Time.
Proceedings of the GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31, 1992

(ML)2: A Formal Language for KADS Models.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991
Experiments with Proof Plans for Induction.
J. Autom. Reason., 1991

A Conceptual Modelling Framework for Knowledge-level Reflection.
AI Commun., 1991

1990
Truth and Modality for Knowledge Representation.
AI Commun., 1990

META'90: A Workshop on Meta-programming in Logic-programmingK.U. Leuven, Belgium, april 4-6, 1990.
AI Commun., 1990

Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs.
Proceedings of the 10th International Conference on Automated Deduction, 1990

The Oyster-Clam System.
Proceedings of the 10th International Conference on Automated Deduction, 1990

1989
On the efficiency of meta-level inference.
PhD thesis, 1989

An Overview of Metal-level Architectures for Control in Experts Systems.
J. Inf. Process. Cybern., 1989

A Rational Reconstruction and Extension of Recursion Analysis.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988
Socrates: a flexible toolkit for building logic-based expert systems.
Knowl. Based Syst., 1988

Explanation-Based Generalisation = Partial Evaluation.
Artif. Intell., 1988

A Classification of Meta-level Architectures.
Proceedings of the Meta-Programming in Logic Programming, 1988

The Limitations of Partial Evaluation.
Proceedings of the Machines, 1988

1984
Criteria for Choosing Representation Languages and Control Regimes for Expert Systems.
Knowl. Eng. Rev., 1984


  Loading...