A Compact In-Memory Dictionary for RDF Data

A Conceptual Model for Detecting Interactions among Medical Recommendations in Clinical Guidelines

A Contextualised Semantics for owl:sameAs

A Framework for Handling Inconsistency in Changing Ontologies

article by Peter Haase et al published 2005 in Lecture Notes in Computer Science

A Method of Contrastive Reasoning with Inconsistent Ontologies

A Semantic Web Primer (3rd edition)

A Topic-Based Browser for Large Online Resources

A Topic-centric Approach to Detecting New Evidences for Evidence-based Medical Guidelines

article

A comparison of languages which operationalize and formalize KADS models of expertise

A model of costs and benefits of meta-level computation

article

A purpose driven method for language comparison

A quantitative analysis of the robustness of knowledge-based systems through degradation studies

A study of PROforma, a development methodology for clinical procedures

artículo científico publicado en 1999

A survey of languages for specifying dynamics: a knowledge engineering perspective

article

A tool for gene expression based PubMed search through combining data sources

artículo científico publicado en 2004

Adaptive Linked Data-Driven Web Components: Building Flexible and Reusable Semantic Web Interfaces

An Empirical Study on How the Distribution of Ontologies Affects Reasoning on the Web

artículo científico publicado en 2017

Analyzing Recommendations Interactions in Clinical Guidelines

article published in 2015

Analyzing interactions on combining multiple clinical guidelines

artículo científico publicado en 2017

Applying rule-base anomalies to KADS inference structures

Approximating Terminological Queries

Are Names Meaningful? Quantifying Social Meaning on the Semantic Web

artículo científico publicado en 2016

Bibster — A Semantics-Based Bibliographic Peer-to-Peer System

Bibster—a semantics-based bibliographic Peer-to-Peer system

Building a Library of Eligibility Criteria to Support Design of Clinical Trials

article

C-OWL: Contextualizing Ontologies

Case law retrieval by concept search and visualization

scholarly article published 2007

Chapter 21 The Semantic Web: Webizing Knowledge Representation

Combining Machine Learning and Semantic Web: A Systematic Mapping Study

artículo científico publicado en 2023

Configuration of Web Services as Parametric Design

Contextualizing ontologies

Contrastive Reasoning with Inconsistent Ontologies

Controlling generate & test in any time

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

scholarly article published in Journal of Web Semantics

Criteria for Choosing Representation Languages and Control Regimes for Expert Systems

Debugging Incoherent Terminologies

Definable naming relations in meta-level systems

Detecting Erroneous Identity Links on the Web Using Network Metrics

artículo científico publicado en 2018

Detecting New Evidence for Evidence-Based Guidelines Using a Semantic Distance Method

article

DynamiTE: Parallel Materialization of Dynamic RDF Data

artículo científico publicado en 2013

Dynamic Aspects of OPJK Legal Ontology

Editorial: Evaluating knowledge engineering techniques

article

Enabling knowledge representation on the Web by extending RDF Schema

Enabling knowledge representation on the Web by extending RDF schema

Enhancing reuse of structured eligibility criteria and supporting their relaxation

artículo científico publicado en 2015

Entity Enabled Relation Linking

artículo científico publicado en 2019

Evaluating a formal KBS specification language

Evaluating a formal modelling language

Evidence-Based Clinical Guidelines in SemanticCT

article

Experiences in the Formalisation and Verification of Medical Protocols

article

Experiments with proof plans for induction

article

Expertise-Based Peer Selection

Expertise-based peer selection in Peer-to-Peer networks

Explanation-based generalisation = partial evaluation

article by Frank van Harmelen & Alan Bundy published October 1988 in Artificial Intelligence

Exploring large document repositories with RDF technology: the DOPE project

article

Extensions to the rippling-out tactic for guiding inductive proofs

Extraction and use of linguistic patterns for modelling medical guidelines

artículo científico publicado en 2007

Finding the Achilles Heel of the Web of Data: Using Network Analysis for Link-Recommendation

Formal Support for Development of Knowledge-Based Systems

article

Formal methods in knowledge engineering

article

Formalisation for decision support in anaesthesiology

artículo científico publicado en 1997

Formalising Medical Quality Indicators to Improve Guidelines

Formally Verifying Dynamic Properties of Knowledge Based Systems

From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols

From Natural Language to Formal Proof Goal

From SHIQ and RDF to OWL: the making of a Web Ontology Language

artículo científico publicado en 2003

Generalizing the Detection of Internal and External Interactions in Clinical Guidelines

Generating and managing metadata for Web-based information systems

Handling Impossible Derivations During Stream Reasoning

artículo científico publicado en 2020

How the semantic web will change KR: challenges and opportunities for a new research agenda

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

Identifying Evidence Quality for Updating Evidence-Based Medical Guidelines

article

Improving medical protocols by formal methods

artículo científico publicado en 2006

Inferring recommendation interactions in clinical guidelines1

Informal and Formal Medical Guidelines: Bridging the Gap

article

Interleaving Reasoning and Selection with Knowledge Summarization

Introduction to Semantic Web Ontology Languages

It's a Streaming World! Reasoning upon Rapidly Changing Information

article

KR and Reasoning on the Semantic Web: Web-Scale Reasoning

Keynote: 10 Years of Semantic Web Research: Searching for Universal Patterns

artículo científico publicado en 2011

Knowledge Engineering Rediscovered: Towards Reasoning Patterns for the Semantic Web

Knowledge Services Using Rule-Based Formalization for Eligibility Criteria of Clinical Trials

Knowledge engineering rediscovered

Knowledge-Based Patient Data Generation

article

Knowledge-Based Validation, Aggregation, and Visualization of Meta-data: Analyzing a Web-Based Information System

scholarly article by Heiner Stuckenschmidt & Frank van Harmelen published 2001 in Lecture Notes in Computer Science

LOD Laundromat: Why the Semantic Web Needs Centralization (Even If We Don't Like It)

Large Scale Reasoning on the Semantic Web: What to Do When Success Is Becoming a Problem

Large Scale Reasoning on the Semantic Web: What to Do When Success Is Becoming a Problem

Maintenance of KBS’s by Domain Experts

Marvin : Distributed reasoning over large-scale Semantic Web data

article by Eyal Oren et al published December 2009 in Journal of Web Semantics

Matching Unstructured Vocabularies Using a Background Ontology

Meaning on the web

Media, Politics and the Semantic Web

MetaLink: A Travel Guide to the LOD Cloud

artículo científico publicado en 2020

Mind the data skew

scholarly article published 2010

Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing

OIL: an ontology infrastructure for the Semantic Web

OWL Reasoning with WebPIE: Calculating the Closure of 100 Billion Triples

article

Observing LOD Using Equivalent Set Graphs: It Is Mostly Flat and Sparsely Linked

artículo científico publicado en 2019

Ontology Mapping: A Way Out of the Medical Tower of Babel?

Ontology-Based Information Visualization: Toward Semantic Web Applications

scholarly article published 2006

Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines

Ontology-based metadata generation from semi-structured information

article published in 2001

Open Knowledge

Patterns of Clinical Trial Eligibility Criteria

Peer Selection in Peer-to-Peer Networks with Semantic Topologies

Peer-to-Peer and Semantic Web

Preface

Preface

Protocure: supporting the development of medical protocols through formal methods

artículo científico publicado en 2004

QueryPIE: Backward Reasoning for OWL Horst over Very Large Knowledge Bases

Reasoning about Repairability of Workflows at Design Time

Recent advances in extracting and processing rich semantics from medical texts

Refining Large Integrated Identity Graphs Using the Unique Name Assumption

Reply to comment on “WebPIE: A Web-scale parallel inference engine using MapReduce”

Reports on the 2013 AAAI Fall Symposium Series

Retrieval of Case Law to Provide Layman with Information about Liability: Preliminary Results of the BEST-Project

article

Rippling: A heuristic for guiding inductive proofs

Rule-Based Formalization of Eligibility Criteria for Clinical Trials

article

SCRY: Extending SPARQL with Custom Data Processing Methods for the Life Sciences ⬇️

SWISH for Prototyping Clinical Guideline Interactions Theory ⬇️

Scalable Distributed Reasoning Using MapReduce

Semantic Representation of Evidence-Based Clinical Guidelines

article

Semantic Web Meets ILP: Unconsumated Love, or No Love Lost?

article by Frank van Harmelen published 2008 in Lecture Notes in Computer Science

Semantic Web Research Anno 2006: Main Streams, Popular Fallacies, Current Status and Future Challenges

Semantic technologies for historical research: A survey

SemanticCT: A Semantically-Enabled System for Clinical Trials

Semantics for Big Data

Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema

article

Socrates: a flexible toolkit for building logic-based expert systems

Specification of dynamics for knowledge-based systems

Stream reasoning: A survey and outlook

Streaming the Web: Reasoning over dynamic data

Structure-preserving specification languages for knowledge-based systems

Structured Representations for Narratives

Summary of the KEML-96 workshop, Paris, January 15–16, 1996, CNRS, Gif sur Yvette (Paris)

The OYSTER-CLAM system

The OpenKnowledge System: An Interaction-Centered Approach to Knowledge Sharing

The Role of Model Checking in Critiquing Based on Clinical Guidelines

The Semantic Web: the roles of XML and RDF

researcher, Semantic Web

The Unified Problem-Solving Method Development Language UPML

article

The limitations of partial evaluation

article by Frank van Harmelen published 1989 in Lecture Notes in Computer Science

The semantic Web and its languages

The semantic web: what, why, how, and when

Theoretical and technological building blocks for an innovation accelerator

article

Torture Tests: A Quantitative Analysis for the Robustness of Knowledge-Based Systems

article

Towards LarKC: A Platform for Web-Scale Reasoning

Towards a Conceptual Model for Enhancing Reasoning About Clinical Guidelines

Triplifying Equivalence Set Graphs

artículo científico publicado en 2019

Two Obvious Intuitions: Ontology-Mapping Needs Background Knowledge and Approximation

Unifying Reasoning and Search to Web Scale

article published in 2007

User-centric query refinement and processing using granularity-based strategies

Using Critiquing for Improving Medical Protocols: Harder than It Seems

Using Google distance to weight approximate ontology matches

scholarly article published 2007

Using Semantic Distances for Reasoning with Inconsistent Ontologies

article

Using model checking for critiquing based on clinical guidelines

artículo científico publicado en 2009

Using reflection techniques for flexible problem solving (with examples from diagnosis)

article

Web Ontology Language: OWL

WebMaster: Knowledge-Based Verification of Web-Pages

article

WebPIE: A Web-scale Parallel Inference Engine using MapReduce

Where Does It Break? or: Why the Semantic Web Is Not Just “Research as Usual”

article by Frank van Harmelen published 2006 in Lecture Notes in Computer Science

Where is the Web in the Semantic Web?

sameAs.cc: The Closure of 500M owl:sameAs Statements

2018 scholarly article

On the efficiency of meta-level inference

tesis doctoral