DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Ulrike Sattler
Ulrike Sattler
A Logical Framework for Modularity of Ontologies∗
Deciding Semantic Matching of Stateless Services∗
Ontology-Based Methods for Analyzing Life Science Data
Description Logics
Proceedings of the 11Th International Workshop on Ontology
Justification Oriented Proofs In
Curriculum Vitae
Owl2, Rif, Sparql1.1)
Table of Contents - Part II
Data Complexity of Reasoning in Very Expressive Description Logics
Justification Masking In
Empirical Study of Logic-Based Modules: Cheap Is Cheerful
599, Giese, M., Skjaeveland, M
The Even More Irresistible SROIQ
Semantic Similarity in Owl
Description Logics
Ecco: a Hybrid Diff Tool for OWL 2 Ontologies
Semantic Web (CSC751)
Top View
Dagrep V002 I010 P105 S12441
Arxiv:1911.00696V5 [Cs.LO] 5 Mar 2021
Deploying Semantic Web Technologies for Information Fusion
Formal Description of Web Services for Expressive Matchmaking
Evaluating Modelling Approaches for Medical Image Annotations
Temporalising EL Concepts with Time Intervals
A Solution for the Man-Man Problem in the Family History Knowledge Base
Knowledge Representation Formalism for Building Semantic Web Ontologies
Submission Data for 2020-2021 CORE Conference Ranking Process International Conference on Automated Deduction
Practical Reasoning for Expressive Description Logics
Reasoning Services for an OWL Authoring Tool: an Experience Report
A Logical Framework for Modularity of Ontologies∗
Machine Reasoning Explainability
Impact Analysis in Description Logic Ontologies
Conjunctive Query Entailment for Alcself Is 2Exptime-Hard
A Family History Knowledge Base in OWL 2
Webprotégé: a Cloud-Based Ontology Editor
A Toolkit for Working with Justifications for Entailments in OWL Ontologies
Model Exploration to Support Understanding of Ontologies
The Logical Diversity of Explanations in OWL Ontologies
Planning Accessible Explanations for Entailments in OWL Ontologies
A Tableau Decision Procedure for SHOIQ
Terminological Knowledge Representation Systems in a Process
Automatic Generation of Questions from Dbpedia Oscar Rodríguez Rocha, Catherine Faron Zucker, Alain Giboin, Aurélie Lagarrigue
The Complexity of Description Logic with Concrete Domains
Detecting Errors in Linked Data Using Learned Ontologies and Outlier
Description Logics for Ontologies
Ontology Evaluation
A Description Logic Primer
BMC Bioinformatics Biomed Central
Decidability of SHIQ with Complex Role Inclusion Axioms Ian Horrocks and Ulrike Sattler Computer Science Department, University
A Rational Entailment for Expressive Description Logics Via Description
Lucas Augusto Montalvão Costa Carvalho Reproducibility And
Download (461Kb)
Foundations of Description Logics
Ontologies and Rules
Logical Aspects of Artificial Intelligence Introduction to Description Logics
Generating Ontologies from Templates: a Rule-Based Approach for Capturing Regularity
Description Logics
Reasoning with Individuals for the Description Logic SHIQ
Towards a Forensic Event Ontology to Assist Video Surveillance-Based Vandalism Detection
Chapter 3 Description Logics