769,306 Hits in 3.8 sec

Model checking the basic modalities of CTL with Description Logic

Shoham Ben-David, Richard J. Trefler, Grant E. Weddell
2006 International Workshop on Description Logics  
Description Logic (DL) reasoners are capable of performing subsumption checks on large terminologies. In this paper, we show how to perform explicit state model checking with a DL reasoner.  ...  Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification.  ...  In this paper we show how to use Description Logic reasoning to perform explicit state model checking of the basic modalities of CTL on a synchronous model of computation, with the hope of benefiting from  ... 
dblp:conf/dlog/Ben-DavidTW06 fatcat:zqhzt2imsvexhpn2bsnro4avmm

Topological Reasoning in Basic Description

Matteo Cristani, Nicoletta Gabrielli, Paolo Torelli
2006 International Workshop on Description Logics  
The introduction of rewriting operators in a description logic cannot interfere with the complexity of decision algorithms, so that if we introduce a rewriting operator in a description logic L that is  ...  Introduction In the recent past, several scholars have shown interest in the development of an integration between general classification reasoning, as typically performed in Description Logic frameworks  ... 
dblp:conf/dlog/CristaniGT06 fatcat:i4tswo5lrnbmnoumkb5tlywx6e

$\boldsymbol {\cal BC\!D\!L}$ : Basic Constructive Description Logic

Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
2009 Journal of automated reasoning  
In this paper we present BCDL, a description logic based on information terms semantics, which allows a constructive interpretation of ALC formulas.  ...  In this paper we introduce BCDL (Basic Constructive Description Logic) a description logic based on information terms semantics.  ...  To enter into the technical details, in this paper we study BCDL which is the correspondent in the information terms semantics context of the basic description logic ALC [1, 19] .  ... 
doi:10.1007/s10817-009-9160-7 fatcat:73rz5s7ahjaxtmwz23q6bejogq

Logical Description of the Basic Production Processes for the Development of a Construction Production Information Model

Kamil Faritovich Islamov, Sergey Anatolievich Sovkov
2020 Helix  
We considered the questions and problems of detailing the basic production processes for the proposed evolutionary model for the development of automation and control methods for all cycles of construction  ...  It is obvious that the description of the basic levels of elaboration of CIM LOD 400 elements for the design documentation and projects made in accordance with the Code of Rules SP 333.1325800.2017 "Information  ... 
doi:10.29042/2020-10-5-225-229 fatcat:xjxpx5n6lzejpiycdkguqai5x4

Basic Description Logics [chapter]

F. Baader, W. Nutt, Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider
The Description Logic Handbook  
Description Logics (DLs) are a well-investigated family of logic-based knowledge representation formalisms, which can be used to represent the conceptual knowledge of an application domain in a structured  ...  Acknowledgement This article is, on the one hand, based on the Description Logic tutorial by the author, which he first taught at the 2005 Logic Summer School organized by the Research School of Information  ...  This tutorial in turn took some inspirations from the Description Logic tutorial taught by Carsten Lutz [23, 18, 16] , written by the author in collaboration with Ian Horrocks, Carsten Lutz, and Ulrike  ... 
doi:10.1017/cbo9780511711787.004 fatcat:qg24avon5faavayici3wwpzrgu

What's in an Aggregate: Foundations for Description Logics with Tuples and Sets

Giuseppe De Giacomo, Maurizio Lenzerini
1995 International Joint Conference on Artificial Intelligence  
In this paper we make description logics accomplish the necessary leap in order to become suitable for the new challenging applications they are faced with.  ...  In particular, we propose a powerful description logic overcoming the above limitations and we show that its reasoning tasks are decidable in worst case exponential time.  ...  The aim of the present work is to devise a description logic, called CATS, that finally addresses the above issues. The basic ingredients of CATS are classes and links.  ... 
dblp:conf/ijcai/GiacomoL95 fatcat:6thvdsmcuzho5nhoiy72bioyhi

Description logic based quantifier restriction and query of an OWL ontology

Rajiv Pandey, Sanjay Dwivedi, S. K. Singh
2012 International Journal of Computer Applications  
This paper proposes to relate Description logic (DL) and Web ontology language (OWL) based Ontology and demonstrate how a OWL ontology quantifier description can enable DL query to generate inferences  ...  there by demonstrating the machine interpretability aspect of the ontology and thus render support to the Semantic web Keywords Description Logic (DL), Ontology, OWL (web ontology language).  ...  The description logic languages are the heart of Knowledge Representation systems.  ... 
doi:10.5120/5726-7795 fatcat:buacrliymrdb3pw7v4ns4rzrpy

Page 5659 of Mathematical Reviews Vol. , Issue 2004g [page]

2004 Mathematical Reviews  
Summary: “This chapter covers extensions of the basic descrip- tion logics introduced in Chapter 2 [F. Baader and W. Nutt, in The description logic handbook, 43-95, Cambridge Univ.  ...  Summary: “This introduction presents the main motivations for the development of description logics (DL) as a formalism for representing knowledge, as well as some important basic notions underlying all  ... 

Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations [chapter]

Claudia d'Amato, Nicola Fanizzi, Floriana Esposito, Thomas Lukasiewicz
2013 Lecture Notes in Computer Science  
Given a context C = {F 1 , F 2 , . . . , F m }, a family of similarity functions s C p : Ind(A) × Ind(A) → [0, 1] is defined as (∀a, b ∈ Ind(A)): s C p (a, b) ...Rough Description Logics: Basics...  ...  Relations Problem: RDLs do not specify any indiscernibility relation R ⇒ we introduce two general ways for defining it Introduction & Motivation Rough Description Logics: Basics Conceptual Indescernibility  ... 
doi:10.1007/978-3-642-35975-0_16 fatcat:k6acwalglfcfnetgxxv4kx5etq

An Approach to the Example-based Consistency Checking of Web Documents

Mirjana Jaksic
2006 Workshop Grundlagen von Datenbanken  
Temporal description logic is used as the internal formalism. It is difficult for an author of a Web document to understand and use a formal logic.  ...  and temporal description logic (TDL) in [5] .  ...  Some formal logics have already been shown to be suitable for expressing consistency rules for Web content: description logic (DL) is used in SCHEMA ST4 system [2] , temporal logic (TL) [3] in [4]  ... 
dblp:conf/gvd/Jaksic06 fatcat:bgpl52caizcjxkegnydrofczdy

A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms

Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You
logic programs.In this paper, we propose a well-founded semantics for basic logic programs with arbitrary abstract constraint atoms, which are sets of rules whose heads have exactly one atom.  ...  Logic programs with abstract constraint atoms proposed by Marek and Truszczynski are very general logic programs.They are general enough to captureaggregate logic programs as well asrecently proposed description  ...  Description logic programs Here, we introduce the basic description logic ALC (Baader et al. 2007) , instead of the description logics SHIF and SHOIN described in (Eiter et al. 2008) .  ... 
doi:10.1609/aaai.v26i1.8213 fatcat:2qzuudauendmxhzhqkgvr4l7sa

Page 4071 of Mathematical Reviews Vol. , Issue 2004e [page]

2004 Mathematical Reviews  
Brachman, An introduc- tion to description logics (1-40); Franz Baader and Werner Nutt, Basic description logics (43-95); Francesco M.  ...  Chapter 5 covers extensions of the basic description logics introduced in Chapter 2 by very expressive constructs that require advanced reasoning techniques.  ... 

Implementation of Circuit Wizard Software in Basic Electronics Course to Improving Student Motivation and Learning Outcomes

Yanti Sofi Makiyah, Ihsan Nurdiansah, Ifa Rifatul Mahmudah, Rifa'atul Maulidah
2022 Radiasi  
course on the logic gate topic.  ...  All physics education student must take Basic Electronics courses at Siliwangi University. The course teaches students how to create electronic components.  ...  One of the topics studied in the basic electronics course is logic gates. Logic gates discuss the basics of digital electronic systems for many input signals into one output signal.  ... 
doi:10.37729/radiasi.v15i1.1844 fatcat:fmpkbxa2jbehfnqbmbegciwciy

A Visual Logic for the Description of Highway Traffic Scenarios [chapter]

Stephanie Kemper, Christoph Etzien
2014 Complex Systems Design & Management  
(VL) Traffic View: Basics The Visual Logic (VL) Traffic View: Basics The Visual Logic (VL) Traffic View: Basics The Visual Logic (VL) Traffic View: Relations The Visual Logic (VL)  ...  Kemper, Christoph Etzien A Visual Logic for Traffic Scenarios December 6, 2013 For each Atom: annotate Communication Description with spatial constraint Translate "single" Communication Description  ... 
doi:10.1007/978-3-319-02812-5_17 dblp:conf/csdm/KemperE13 fatcat:xyl2q5mmjbdcjcfqann73zqowy

Color Atlas of Pathophysiology Authors: Stefan Silbernagl and Florian Lang (2016) 2016 448 pp, 195 illustrations, Paperback/softback ISBN: 9783131165534 Thieme Publishers New York/Stuttgart

Anna-Karina Maier, Olaf Strauss
2016 Graefe's Archives for Clinical and Experimental Ophthalmology  
They commence with a description of the basic physiology and use further this knowledge to explain pathophy siology.  ...  However, the knowledge of the Color Atlas of Physiology might be required for the beginner because the introductory description of basic physiology might be too compact.  ...  They commence with a description of the basic physiology and use further this knowledge to explain pathophy siology.  ... 
doi:10.1007/s00417-016-3488-6 fatcat:rxznav4ayvgbtickx3dzghc7zq
« Previous Showing results 1 — 15 out of 769,306 results