Description Logics
Mapping Ontologies to Objects using a Transformation based on Description Logics
... Abstract. To manage the increasing complexity of computer systems, a need has arisen to process knowledge instead of only data. Ontologies are nowadays widely used to describe domain knowledge, but although a high level ...
14
Equality-friendly well-founded semantics and applications to description logics
... We achieve the combination of rules and ontologies by a reduction from description logics to logic programming for- malisms. Obviously our work is based on the earlier work on Datalog ± . Based on the same ...
8
Tailoring temporal description logics for reasoning over temporal conceptual models
... Conceptual data modelling formalisms such as the Unified Modelling Language (UML) and the Extended Entity-Relationship (EER) model have become a de facto standard in database design and software engineering by providing ...
12
Model-theoretic characterisations of description logics
... modal logics, the corresponding extension of the standard modal logic ML is known as standard modal logic with global modality ML[∀] ...In description logics it is called value restriction on the ...
256
Model Comparison Games for Horn Description Logics
... It is straightforward to extend the Horn simulation games for hornALC to games providing Ehrenfeucht-Fra¨ıss´e type definability results for the Horn fragments of many popular extensions of ALC, such as the extension by ...
15
Tractable interval temporal propositional and description logics
... tractable description logics with interval-based temporal operators is motivated by possible applications in ontology-based data access (OBDA) over temporal ...
8
An HPSG Parser Based on Description Logics
... An HPSG Parser Based on Description Logics A n H P S G P a r s e r B a s e d o n D e s c r i p t i o n l , o g i e s * J Joachim Quantz Technische Universit~it Berlin, ]'rojekt KHZVM11, FR 5 d 2, Fran[.] ...
5
Verb centered Sentiment Inference with Description Logics
... We introduce description logics as a means to carry out sentiment inferences triggered by some verbs on their seman- tic roles. Verbs might impose polar ef- fects on some roles, but also have polar ...
6
Text Authoring, Knowledge Acquisition and Description Logics
... associating Description Logics with Datalog one can significantly increase the expressive power of both for- malisms, which have a nice complementarity (recursive definitions can be easily expressed in ...
7
Query answering in description logics: DL-Lite A
... Tractable reasoning and e ffi cient query answering in description logics: The DL-Lite family. Rosati[r] ...
28
Towards an ontological representation of morbidity and mortality in Description Logics
... Results: Several representational difficulties were faced, mainly regarding kinds of processes with blurred or fiat borders that change their type in a continuous rather than discrete mode. Examples of such hard to grasp ...
13
Description Logics Approach to Semantic Matching of Web Services
... T OMMASO D I N OIA received the laurea degree in electronic engineer- ing from the Technical University of Bari in 2002. Currently he is a Ph.D. student in information technology engineering at the Technical University ...
8
Interval temporal description logics
... tractable description logics with interval temporal operators is motivated by possible applications in ontology-based data access (OBDA) [12] to temporal ...
6
Finite State Methods and Description Logics
... aim of the present work is to explore these possi- bilities, expressed as particular DL concepts and roles. In its account of regular languages, the B¨uchi-Elgot-Trakhtenbrot theorem says nothing about finite-state ...
9
Exploiting SAT and SMT Techniques for Automated Reasoning and Ontology Manipulation in Description Logics
... various Description Logics to SAT and SMT, by way of the following steps: (i) the definition of a formal (and as efficient as possible) encoding proving its soundness and completeness, (ii) the ...
267
Using description logics to evaluate the consistency of drug-class membership relations in NDF-RT
... As we rely increasingly on ontologies, it is important to ensure their content is complete and correct. In this work, we developed a methodology to evaluate the con- tent of NDF-RT using description logics. ...
9
Concepts as Modalities in Description Logics
... Motivated by the colloquial language term of a “glass gummy bear”, an additional type of concept composition for description logics is suggested. This composition type is then axiomatically formalized and ...
5
Efficient Concept Induction for Description Logics
... 2012), description logics have be- come the leading paradigm for the representation of ontolo- gies (Hitzler, Kr¨otzsch, and Rudolph ...complex description logic class expressions S from a given ...
8
Representing ontology mappings with probabilistic description logics programs
... disjunctive description logic programs (or simply disjunctive dl-programs) KB = (L, P ) under the answer set se- mantics from [19], where KB consists of a description logic knowledge base L and a ...
9
Expressiveness of first order description logics
... to description logics with non-rst-order features (like transitive ...of description logics in Baader's ...to description logics? And if it can, would it induce the same ...
35