Frank van Harmelen

ORCID: 0000-0002-7913-0048
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • Semantic Web and Ontologies
  • Biomedical Text Mining and Ontologies
  • Advanced Database Systems and Queries
  • Service-Oriented Architecture and Web Services
  • Logic, Reasoning, and Knowledge
  • AI-based Problem Solving and Planning
  • Natural Language Processing Techniques
  • Data Quality and Management
  • Topic Modeling
  • Scientific Computing and Data Management
  • Advanced Graph Neural Networks
  • Clinical practice guidelines implementation
  • Logic, programming, and type systems
  • Rough Sets and Fuzzy Logic
  • Business Process Modeling and Analysis
  • Peer-to-Peer Network Technologies
  • Data Management and Algorithms
  • Multi-Agent Systems and Negotiation
  • Formal Methods in Verification
  • Model-Driven Software Engineering Techniques
  • Electronic Health Records Systems
  • Web Data Mining and Analysis
  • Big Data and Business Intelligence
  • Data Mining Algorithms and Applications
  • Access Control and Trust

Vrije Universiteit Amsterdam
2015-2024

CNI College
2017-2024

RELX Group (Netherlands)
2022

Royal Netherlands Academy of Arts and Sciences
2021

Amsterdam UMC Location Vrije Universiteit Amsterdam
2014

Philips (Netherlands)
2012

Politecnico di Milano
2009

University of Amsterdam
1992-2008

Karlsruhe Institute of Technology
2008

Phantom Design (United States)
2007

Researchers in artificial intelligence first developed ontologies to facilitate knowledge sharing and reuse. Ontologies play a major role supporting information exchange across various networks. A prerequisite for such is the development of joint standard specifying exchanging ontologies. The authors present OIL, proposal standard. applied World Wide Web are creating Semantic Web.

10.1109/5254.920598 article EN IEEE Intelligent Systems 2001-03-01

XML and RDF are the current standards for establishing semantic interoperability on Web, but addresses only document structure. better facilitates interoperation because it provides a data model that can be extended to address sophisticated ontology representation techniques. We explain role of ontologies in architecture Semantic Web. then briefly summarize key elements RDF, showing why using as tool will ineffective long run. argue further inference layer is needed top Web's layers,...

10.1109/4236.877487 article EN IEEE Internet Computing 2000-01-01

The Web has drastically changed the availability of electronic information, but its success and exponential growth have made it increasingly difficult to find, access, present maintain such information for a wide variety users. In reaction this bottleneck many new research initiatives commercial enterprises been set up enrich available with machine-processable semantics. paper considers how semantic will provide intelligent access heterogeneous distributed enabling software products (agents)...

10.1109/5254.895864 article EN IEEE Intelligent Systems and their Applications 2000-11-01

We define hybrid intelligence (HI) as the combination of human and machine intelligence, augmenting intellect capabilities instead replacing them achieving goals that were unreachable by either humans or machines. HI is an important new research focus for artificial we set a agenda formulating four challenges.

10.1109/mc.2020.2996587 article EN cc-by Computer 2020-07-31

Data streams occur in modern applications such as sensor network monitoring, traffic engineering, RFID tags applications, telecom call recording, medical record management, financial and clickstreams. On the Web, many sites distribute present information real-time streams. In of these application areas, ability to perform complex reasoning tasks that combine streaming data with evolving knowledge would be great benefit. Stream reasoning—an unexplored, yet high-impact research area—is a new...

10.1109/mis.2009.125 article EN IEEE Intelligent Systems 2009-11-01

In this paper we study the diagnosis and repair of incoherent terminologies. We define a number new nonstandard reasoning services to explain incoherence through pinpointing, present algorithms for all these services. For one core tasks debugging, calculation minimal unsatisfiability preserving subterminologies, developed two different algorithms, implementing bottom-up approach using support an external description logic reasoner, other specialized tableau-based calculus. Both have been...

10.1007/s10817-007-9076-z article EN cc-by-nc Journal of Automated Reasoning 2007-07-10

Current semantic Web reasoning systems do not scale to the requirements of their hottest applications, such as analyzing data from millions mobile devices, dealing with terabytes scientific data, and content management in enterprises thousands knowledge workers. In this paper, we present our plan building large collider, a platform for massive distributed incomplete that will remove these scalability barriers. This is achieved by (i) enriching current logic-based methods, (ii) employing...

10.1109/icsc.2008.41 article EN 2008-08-01
Coming Soon ...