no code implementations • 20 Jan 2023 • Martin Glauer, Fabian Neuhaus, Till Mossakowski, Janna Hastings
Integrating human knowledge into neural networks has the potential to improve their robustness and interpretability.
no code implementations • 21 Oct 2022 • Fabian Neuhaus, Janna Hastings
Ontology development methodologies emphasise knowledge gathering from domain experts and documentary resources, and knowledge representation using an ontology language such as OWL or FOL.
no code implementations • 7 Oct 2022 • Simon Flügel, Martin Glauer, Fabian Neuhaus, Janna Hastings
In ontology development, there is a gap between domain ontologies which mostly use the web ontology language, OWL, and foundational ontologies written in first-order logic, FOL.
no code implementations • 19 Sep 2021 • Adel Memariani, Martin Glauer, Fabian Neuhaus, Till Mossakowski, Janna Hastings
We present a new methodology for automatic ontology extension and apply it to the ChEBI ontology, a prominent reference ontology for life sciences chemistry.
no code implementations • 20 Jun 2019 • Bernd Krieg-Brückner, Till Mossakowski, Fabian Neuhaus
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.
no code implementations • 22 Oct 2018 • Fabian Neuhaus
In the knowledge engineering community "ontology" is usually defined in the tradition of Gruber as an "explicit specification of a conceptualization".
no code implementations • 17 Jul 2018 • Till Mossakowski, Fabian Neuhaus
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.
no code implementations • 15 Dec 2016 • Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus
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.
no code implementations • 25 Nov 2016 • Till Mossakowski, Fabian Neuhaus
This paper discusses the semantics of weighted argumentation graphs that are biplor, i. e. contain both attacks and support graphs.
