Auflistung nach Autor:in "Rudolph, Sebastian"
1 - 2 von 2
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelIs Your Database System a Semantic Web Reasoner?(KI - Künstliche Intelligenz: Vol. 30, No. 2, 2016) Krötzsch, Markus; Rudolph, SebastianDatabases and semantic technologies are an excellent match in scenarios requiring the management of heterogeneous or incomplete data. In ontology-based query answering, application knowledge is expressed in ontologies and used for providing better query answers. This enhancement of database technology with logical reasoning remains challenging—performance is critical. Current implementations use time-consuming pre-processing to materialise logical consequences or, alternatively, compute a large number of large queries to be answered by a database management system (DBMS). Recent research has revealed a third option using recursive query languages to “implement” ontological reasoning in DBMS. For lightweight ontology languages, this is possible using the popular Semantic Web query language SPARQL 1.1, other cases require more powerful query languages like Datalog, which is also seeing a renaissance in DBMS today. Herein, we give an overview of these areas with a focus on recent trends and results.
- ZeitschriftenartikelSATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT(KI - Künstliche Intelligenz: Vol. 34, No. 3, 2020) Manthey, Norbert; Peñaloza, Rafael; Rudolph, SebastianOne approach to axiom pinpointing (AP) in description logics is its reduction to the enumeration of minimal unsatisfiable subformulas, allowing for the deployment of highly optimized methods from SAT solving. Exploiting the properties of AP, we further optimize incremental SAT solving, resulting in speedups of several orders of magnitude: through persistent incremental solving the solver state is updated lazily when adding clauses or assumptions. This adaptation consistently improves the runtime of the tool by an average factor of 3.8, and a maximum of 38. SATPin , our system, was tested over large biomedical ontologies and performed competitively.