Filtros de búsqueda

Lista de obras de Ian R. Horrocks

$\mathcal{EL}$ -ifying Ontologies

4 Computational modal logic

A Context-Aware Recommendation System for Mobile Devices

artículo científico publicado en 2020

A Little Semantic Web Goes a Long Way in Biology

article by K. Wolstencroft et al published 2005 in Lecture Notes in Computer Science

A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data

A Semantic Infosphere

artículo científico publicado en 2003

A Tableau Decision Procedure for $\mathcal{SHOIQ}$

A comparison of two modelling paradigms in the Semantic Web

A novel approach to ontology classification

A rule-based ontological framework for the classification of molecules

artículo científico publicado en 2014

A software framework for matchmaking based on semantic web technology

Bag Semantics of DL-Lite with Functionality Axioms

artículo científico publicado en 2019

Benchmark Analysis with FaCT

BootOX: Bootstrapping OWL 2 Ontologies and R2RML Mappings from Relational Databases

artículo científico publicado en 2015

BootOX: Practical Mapping of RDBs to OWL 2

artículo científico publicado en 2015

Bridging the gap between OWL and relational databases

Bridging the gap between OWL and relational databases

Building a bioinformatics ontology using OIL.

artículo científico

Can OWL and Logic Programming Live Together Happily Ever After?

artículo científico publicado en 2006

Canonicalizing Knowledge Base Literals

artículo científico publicado en 2019

Capturing Industrial Information Models with Ontologies and Constraints

artículo científico publicado en 2016

Chapter 3 Description Logics

Chemical knowledge representation with description graphs and logic programming

scholarly article by Despoina Magka et al published 2012 in Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences - SWAT4LS '11

Children's magic won't deliver the semantic web

Combinations of Modal Logics

Complete Query Answering over Horn Ontologies Using a Triple Store

artículo científico publicado en 2013

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice

article by B. Cuenca Grau et al published 29 March 2012 in Journal of Artificial Intelligence Research

Completeness Guarantees for Incomplete Reasoners

article by Giorgos Stoilos et al published 2010 in Lecture Notes in Computer Science

Computing CQ Lower-Bounds over OWL 2 Through Approximation to RSA

artículo científico publicado en 2021

Computing CQ lower-bounds over OWL 2 through approximation to RSA - Extended Abstract

scientific article published in proceedings of the iswc 2021 posters, demos and industry tracks: from novel ideas to industrial practice

Concrete Results on Abstract Rules

Consequence-based and fixed-parameter tractable reasoning in description logics

Contextual Semantic Embeddings for Ontology Subsumption Prediction ⬇️

DAML+OIL: A Reason-Able Web Ontology Language

article by Ian R. Horrocks published 2002 in Lecture Notes in Computer Science

DLP and FaCT

Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange

artículo científico publicado en 2019

Decidability of SHIQ with complex role inclusion axioms

Delta-reasoner

scholarly article published 2012

Description Logics

Description Logics in Ontology Applications

Description Logics in Ontology Applications

Description logic programs

Distributed RDF Query Answering with Dynamic Data Exchange

artículo científico publicado en 2016

Dual Box Embeddings for the Description Logic EL <sup>++</sup>

artículo científico publicado en 2024

Efficient Query Answering for OWL 2

Enabling knowledge representation on the Web by extending RDF Schema

Enabling semantic access to static and streaming distributed data with optique

Entity Comparison in RDF Graphs

artículo científico publicado en 2017

Event-Enhanced Learning for KG Completion

artículo científico publicado en 2018

Evolution of Semantic Systems

Experiencing OptiqueVQS: a multi-paradigm and ontology-based visual query system for end users

Exploiting Partial Information in Taxonomy Construction

article by Rob Shearer & Ian R. Horrocks published 2009 in Lecture Notes in Computer Science

Exploring Large Language Models for Ontology Alignment

artículo científico publicado en 2024

Extracting Modules from Ontologies: A Logic-Based Approach

Feasibility of Optimised Disjunctive Reasoning for Approximate Matching

article by Ian R. Horrocks et al published 1999 in Lecture Notes in Computer Science

Filling Gaps in Industrial Knowledge Graphs via Event-Enhanced Embedding

artículo científico publicado en 2018

Framework for an Automated Comparison of Description Logic Reasoners

artículo científico publicado en 2006

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

artículo científico publicado en 2003

HermiT: An OWL 2 Reasoner

article by Birte Glimm et al published 23 May 2014 in Journal of Automated Reasoning

Hybrid Logics and Ontology Languages

Hypertableau Reasoning for Description Logics

Individual Reuse in Description Logic Reasoning

Just the right amount

KR and Reasoning on the Semantic Web: OWL

KeywDB: A System for Keyword-Driven Ontology-to-RDB Mapping Construction

artículo científico publicado en 2016

Logic for Ontology Engineering Corner

Logic-based assessment of the compatibility of UMLS ontology sources

artículo científico publicado en 2011

MORe: Modular Combination of OWL Reasoners for Ontology Classification

artículo científico publicado en 2012

Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching.

artículo científico publicado en 2022

Modelling Structured Domains Using Description Graphs and Logic Programming

article published in 2012

Mv-Index: An Efficient Index for Graph-Query Containment

artículo científico publicado en 2019

OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences

artículo científico publicado en 2007

OIL: an ontology infrastructure for the Semantic Web

OILing the way to machine understandable bioinformatics resources

artículo científico

OWL 2: The next step for OWL

article by Bernardo Cuenca Grau et al published November 2008 in Journal of Web Semantics

OWL Datatypes: Design and Implementation

artículo científico publicado en 2008

OWL FA

OWL rules: A proposal and prototype implementation

OWL-Eu: Adding customised datatypes into OWL

article published in 2006

OWL-QL—a language for deductive query answering on the Semantic Web

artículo científico publicado en 2004

OWL: A Description Logic Based Ontology Language

OilEd: A Reason-able Ontology Editor for the Semantic Web

artículo científico publicado en 2001

Ontologies and the semantic web

Ontology Based Access to Exploration Data at Statoil

article by Evgeny Kharlamov et al published 2015 in Lecture Notes in Computer Science

Ontology Enrichment from Texts: A Biomedical Dataset for Concept Discovery and Placement

artículo científico publicado en 2023

Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences

article

Ontology-Based Integration of Streaming and Static Relational Data with Optique

Ontology-Based Visual Query Formulation: An Industry Experience

Ontology-based end-user visual query formulation: Why, what, who, how, and which?

Ontology-based knowledge management

Optimising Ontology Classification

article by Birte Glimm et al published 2010 in Lecture Notes in Computer Science

Optimized Description Logic Reasoning via Core Blocking

Optimizing Terminological Reasoning for Expressive Description Logics

Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages

artículo científico publicado en 2013

Optique: OBDA Solution for Big Data

Optique: Ontology-Based Data Access Platform

artículo científico publicado en 2015

Optique: Towards OBDA Systems for Industry

OptiqueVQS

Position paper

scholarly article published 2006

Publishing the Norwegian Petroleum Directorate’s FactPages as Semantic Web Data

article by Martin G. Skjæveland et al published 2013 in Lecture Notes in Computer Science

Pushing the Boundaries of Tractable Ontology Reasoning

artículo científico publicado en 2014

Query-Based Entity Comparison in Knowledge Graphs Revisited

artículo científico publicado en 2019

Querying the Semantic Web: A Formal Approach

artículo científico publicado en 2002

RDFS(FA) and RDF MT: Two Semantics for RDFS

artículo científico publicado en 2003

RDFS(FA): Connecting RDF(S) and OWL DL

RDFox: A Highly-Scalable RDF Store

article

RODI: Benchmarking relational-to-ontology mapping generation quality

Ranking, Aggregation, and Reachability in Faceted Search with SemFacet

artículo científico publicado en 2017

Reasoning Support for Expressive Ontology Languages Using a Theorem Prover

Reducing OWL Entailment to Description Logic Satisfiability

artículo científico publicado en 2003

Reducing OWL entailment to description logic satisfiability

Repairing Ontologies for Incomplete Reasoners

article by Giorgos Stoilos et al published 2011 in Lecture Notes in Computer Science

Representing ontologies using description logics, description graphs, and rules

Reveal the Unknown: Out-of-Knowledge-Base Mention Discovery with Entity Linking

artículo científico publicado en 2023

SOMM: Industry Oriented Ontology Management Tool

artículo científico publicado en 2016

SPARQL Query Answering over OWL Ontologies

Scalable Semantic Access to Siemens Static and Streaming Distributed Data

artículo científico publicado en 2016

Semantic Access to Siemens Streaming Data: the Optique Way

artículo científico publicado en 2015

Semantic Rule-Based Equipment Diagnostics

artículo científico publicado en 2017

Semantic Technologies for Data Analysis in Health Care

article

Semantic Web Architecture: Stack or Two Towers?

Semantic web

2007 scholarly article

Semantics ⊓ scalability ⊨ ⊥?

Subsumption Prediction for E-Commerce Taxonomies

Supporting concurrent ontology development: Framework, algorithms and tool

article

The Energy Management Adviser at EDF

artículo científico publicado en 2013

The GRAIL concept modelling language for medical terminology

artículo científico publicado en 1997

The Semantic Web: the roles of XML and RDF

researcher, Semantic Web

The semantic Web and its languages

Three theses of representation in the semantic web

Tool Support for Ontology Engineering

Towards Analytics Aware Ontology Based Access to Static and Streaming Data

scientific article published at ISWC 2016

Towards the Semantic Enrichment of Free-Text Annotation of Image Quality Assessment for UK Biobank Cardiac Cine MRI Scans

article published in 2016

Tractable Extensions of the Description Logic $\cal EL$ with Numerical Datatypes

Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes

Tractable query answering and rewriting under description logic constraints

Use of Semantic Technologies to Inform Progress Toward Zero-Carbon Economy

artículo científico publicado en 2021

Use of Semantic Technologies to Inform Progress Toward Zero-Carbon Economy - Extended Abstract

scientific article published in proceedings of the iswc 2021 posters, demos and industry tracks: from novel ideas to industrial practice

Using Semantic Technology to Tame the Data Variety Challenge

Using Vampire to Reason with OWL

artículo científico publicado en 2004

WWW conference special issue

Web Ontology Reasoning with Datatype Groups

artículo científico publicado en 2003

Why not simply Google?

scholarly article published 2014

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda