Search Results for author:
Found 11 papers, 0 papers with code
Ontology Pre-training for Poison Prediction
Integrating human knowledge into neural networks has the potential to improve their robustness and interpretability.
Modular design patterns for neural-symbolic integration: refinement and combination
We formalise some aspects of the neural-symbol design patterns of van Bekkum et al., such that we can formally define notions of refinement of patterns, as well as modular combination of larger patterns from smaller building blocks.
Automated and Explainable Ontology Extension Based on Deep Learning: A Case Study in the Chemical Domain
We present a new methodology for automatic ontology extension and apply it to the ChEBI ontology, a prominent reference ontology for life sciences chemistry.
Generic Ontology Design Patterns at Work
Generic Ontology Design Patterns, GODPs, are defined in Generic DOL, an extension of DOL, the Distributed Ontology, Model and Specification Language, and implemented using Heterogeneous Tool Set.
Extensions of Generic DOL for Generic Ontology Design Patterns
Generic ontologies were introduced as an extension (Generic DOL) of the Distributed Ontology, Modeling and Specification Language, DOL, with the aim to provide a language for Generic Ontology Design Patterns.
Modular Semantics and Characteristics for Bipolar Weighted Argumentation Graphs
A semantics is modular if it cleanly separates aggregation of attacking and supporting arguments (for a given argument $a$) from the computation of their influence on $a$'s initial weight.
Ontohub: A semantic repository for heterogeneous ontologies
Moreover, Ontohub is the first repository engine meeting a substantial amount of the requirements formulated in the context of the Open Ontology Repository (OOR) initiative, including an API for federation as well as support for logical inference and axiom selection.
Bipolar Weighted Argumentation Graphs
This paper discusses the semantics of weighted argumentation graphs that are biplor, i. e. contain both attacks and support graphs.
A Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties
Qualitative Spatial and Temporal Reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains.
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print)
Sound, complete and terminating procedures, which are adaptations of the well known chase algorithm, are provided for these classes for deciding query entailment.
Algebraic Properties of Qualitative Spatio-Temporal Calculi
Qualitative spatial and temporal reasoning is based on so-called qualitative calculi.
