Zobrazeno 1 - 10
of 33
pro vyhledávání: '"description logic ontology"'
The work in this paper is motivated by a privacy scenario in which the identity of certain persons (represented as anonymous individuals) should be hidden.We assume that factual information about known individuals (i.e., individuals whose identity is
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A70976
https://tud.qucosa.de/api/qucosa%3A70976/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A70976/attachment/ATT-0/
Probabilistic model checking (PMC) is a well-established method for the quantitative analysis of dynamic systems. On the other hand, description logics (DLs) provide a well-suited formalism to describe and reason about static knowledge, used in many
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A79617
https://tud.qucosa.de/api/qucosa%3A79617/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A79617/attachment/ATT-0/
We present a method for answering ontology-mediated queries for DL-Lite extended with a concrete domain, where we allow concrete domain predicates to be used in the query as well. Our method is based on query rewriting, a well-known technique for ont
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A79618
https://tud.qucosa.de/api/qucosa%3A79618/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A79618/attachment/ATT-0/
Autor:
Koopmann, Patrick
We present some initial results on ontology-based query answering with description logic ontologies that may employ temporal and probabilistic operators on concepts and axioms. Speci_cally, we consider description logics extended with operators from
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A79615
https://tud.qucosa.de/api/qucosa%3A79615/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A79615/attachment/ATT-0/
Ontology-based access to large data-sets has recently gained a lot of attention. To access data e_ciently, one approach is to rewrite the ontology into Datalog, and then use powerful Datalog engines to compute implicit entailments. Existing rewriting
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A79612
https://tud.qucosa.de/api/qucosa%3A79612/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A79612/attachment/ATT-0/
Autor:
Koopmann, Patrick
Especially in the field of stream reasoning, there is an increased interest in reasoning about temporal data in order to detect situations of interest or complex events. Ontologies have been proved a useful way to infer missing information from incom
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A79603
https://tud.qucosa.de/api/qucosa%3A79603/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A79603/attachment/ATT-0/
We consider ontology-based query answering in a setting where some of the data are numerical and of a probabilistic nature, such as data obtained from uncertain sensor readings. The uncertainty for such numerical values can be more precisely represen
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A79592
https://tud.qucosa.de/api/qucosa%3A79592/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A79592/attachment/ATT-0/
Defeasible Description Logics (DDLs) extend Description Logics with defeasible concept inclusions. Reasoning in DDLs often employs rational or relevant closure according to the (propositional) KLM postulates. If in DDLs with quantification a defeasib
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A79588
https://tud.qucosa.de/api/qucosa%3A79588/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A79588/attachment/ATT-0/
Publikováno v:
Processes; Volume 10; Issue 7; Pages: 1290
Fused deposition modelling (FDM) is well-known as an inexpensive and the most commonly used additive manufacturing process. In FDM, build orientation is one of the critical factors that affect the quality of the printed part. However, the activity of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1e4662058c5bfdda46fa36eba1ee94e6
https://doi.org/10.3390/pr10071290
https://doi.org/10.3390/pr10071290
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.