Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features [PDF]
Logical Methods in Computer ScienceWe investigate the impact of non-regular path expressions on the decidability of satisfiability checking and querying in description logics extending ALC.
Bartosz Bednarczyk
doaj +1 more source
Min-Based Conditioning of Possibilistic EL Ontology
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2022 The EL is a tractable family of lightweight description logics that underlay the OWL EL profile. It guarantees the tractability of the reasoning process, especially for concept classification.
Rim Mohamed +3 more
doaj +1 more source
Formal representation of complex SNOMED CT expressions
BMC Medical Informatics and Decision Making, 2008 Background Definitory expressions about clinical procedures, findings and diseases constitute a major benefit of a formally founded clinical reference terminology which is ontologically sound and suited for formal reasoning.
Markó Kornél +2 more
doaj +1 more source
Newly Discovered Archival Logic: Functions Emerging from the Records in Contexts Standard
Preservation, Digital Technology & CultureThe article discusses the reality of information for archivists in an era when information is not primarily shaped in documentary form. The situation in which contemporary administrative, business, and private information is organized in various formats ...
Rajh Arian
doaj +1 more source
Semantic web and knowledge graphs as an educational technology of personnel training for nuclear power engineering [PDF]
Nuclear Energy and Technology, 2019 The technologies of knowledge representation and inference in an artificial intelligence system focused on the domain of nuclear physics and nuclear power engineering are considered.
Victor Telnov, Yuri Korovin
doaj +3 more sources
Probabilistic description logic programs [PDF]
International Journal of Approximate Reasoning, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Academic Meta Tool – Ein Web-Tool zur Modellierung von Vagheit
Zeitschrift für digitale Geisteswissenschaften, 2019 In this article, we introduce a methodological proposal for modelling vagueness in graphs. In addition to the modelling, we also deal with the automatic generation of implicitly stored knowledge when considering ...
Martin Unold +2 more
doaj +1 more source
Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count
Proceedings of the International Florida Artificial Intelligence Research Society ConferenceIn previous work it was shown that the logic ALCME, which extends the description logic (DL) ALC with probabilistic conditionals, has domain-lifted inference.
Franz Baader, Anton Claußnitzer
doaj +1 more source
A defeasible logic programming approach to the integration of rules and ontologies
Journal of Computer Science and Technology, 2010 The Semantic Web is a vision of the current Web where resources have exact meaning assigned in terms of ontologies, thus enabling agents to reason about them.
Sergio Alejandro Gómez +2 more
doaj
Indistinguishability in controlled query evaluation over prioritized description logic ontologies
Web SemanticsIn this paper we study Controlled Query Evaluation (CQE), a declarative approach to privacy-preserving query answering over databases, knowledge bases, and ontologies. CQE is based on the notion of censor, which defines the answers to each query posed to
Gianluca Cima +4 more
doaj +1 more source