Results 31 to 40 of about 3,794 (164)
FaCT++ Description Logic Reasoner: System Description [PDF]
, 2006 This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additional support for datatypes, including strings and integers. The system employs a wide range of performance enhancing optimisations, including both standard techniques (such ...
Tsarkov, Dmitry, Horrocks, Ian
openaire +2 more sources
Non-distributive Description Logic
, 2023 Abstract We define LE-$$\mathcal {ALC}$$, a generalization of the description logic $$\mathcal {ALC}$$ based on the propositional logic of general (i.e. not necessarily distributive) lattices, and semantically interpreted on relational structures based on formal contexts from Formal Concept Analysis (FCA).
Ineke van der Berg +5 more
openaire +3 more sources
Моделирование и анализ информационных систем, 2021 Sequential reactive systems are computer programs or hardware devices which process the flows of input data or control signals and output the streams of instructions or responses.
Anton Romanovich Gnatenko +1 more
doaj +1 more source
Rich Counter-Examples for Temporal-Epistemic Logic Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Model checking verifies that a model of a system satisfies a given property, and otherwise produces a counter-example explaining the violation. The verified properties are formally expressed in temporal logics.
Simon Busard, Charles Pecheur
doaj +1 more source
LTL over Description Logic Axioms [PDF]
ACM Transactions on Computational Logic, 2008 Most of the research on temporalized Description Logics (DLs) has concentrated on the case where temporal operators can occur within DL concept descriptions. In this setting, reasoning usually becomes quite hard if rigid roles, i.e., roles whose interpretation does not change over time, are available.
F. Baader, S. Ghilardi, C. Lutz
openaire +4 more sources
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests [PDF]
Logical Methods in Computer ScienceSHACL is a W3C-proposed schema language for expressing structural constraints on RDF graphs. Recent work on formalizing this language has revealed a striking relationship to description logics.
Bart Bogaerts +2 more
doaj +1 more source
Current Directions in Biomedical Engineering, 2020 In this paper we present results to the problem of an adequate and compact symbolic representation of morphological features of anatomical structures that serve as surgical landmarks for automated assistance in endoscopic surgery using the General Formal
Schäfermeier Ralph +3 more
doaj +1 more source
Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification [PDF]
Logical Methods in Computer Science, 2017 Unification in Description Logics has been introduced as a means to detect redundancies in ontologies. We try to extend the known decidability results for unification in the Description Logic $\mathcal{EL}$ to disunification since negative constraints ...
Franz Baader +2 more
doaj +1 more source
Reconciling description logics and rules [PDF]
Journal of the ACM, 2008 Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual knowledge, rules are focused on nonmonotonic inference. Many applications, however, require features of both DLs and rules.
Boris Motik, ROSATI, Riccardo
openaire +3 more sources
Timed Context-Free Temporal Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The paper is focused on temporal logics for the description of the behaviour of real-time pushdown reactive systems. The paper is motivated to bridge tractable logics specialized for expressing separately dense-time real-time properties and context-free ...
Laura Bozzelli +2 more
doaj +1 more source