http://www.bibsonomy.org/burst/concept/tag/logicsBibSonomy BuRST Feed for /concept/tag/logics2008-07-27T03:59:40+02:00http://www.bibsonomy.org/bibtex/2915934abb92646a0b520e5d464f0083f/pdeleenhpdeleenh2008-07-07T16:45:32+02:00logics description <span style="color:#555555;">F. <a href="http://www.bibsonomy.org/author/Baader">Baader</a> and D. <a href="http://www.bibsonomy.org/author/McGuinness">McGuinness</a> and D. <a href="http://www.bibsonomy.org/author/Nardi">Nardi</a> and P.F. <a href="http://www.bibsonomy.org/author/Patel-Schneider">Patel-Schneider</a> </span><em>Cambridge University Press, </em>(<em>2003</em>)Mon Jul 07 16:45:32 CEST 2008The Description Logic Handbook: Theory, Implementation and Applications2003logics description http://www.bibsonomy.org/bibtex/23cc8affd3aa735ebee6a31746d62c356/pdeleenhpdeleenh2008-07-07T16:45:32+02:00UML, description logics <span style="color:#555555;">Andrea <a href="http://www.bibsonomy.org/author/{Cal\&#039;i}">Cal'i</a> and Diego <a href="http://www.bibsonomy.org/author/Calvanese">Calvanese</a> and Giuseppe De <a href="http://www.bibsonomy.org/author/Giacomo}">Giacomo</a> and Maurizio <a href="http://www.bibsonomy.org/author/Lenzerini">Lenzerini</a> </span><em>Proc. IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development (PMD), </em>(<em>2001</em>)Mon Jul 07 16:45:32 CEST 2008Proc. IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development (PMD)Reasoning on {U}{M}{L} Class Diagrams in Description Logics2001UML, description logics http://www.bibsonomy.org/bibtex/24d92ab476b77a1c57f04ffbdf5e1e5cd/pdeleenhpdeleenh2008-07-07T16:45:32+02:00consistency maintenance, logics UML, description <span style="color:#555555;">Ragnhild Van Der <a href="http://www.bibsonomy.org/author/Straeten}">Straeten</a> and Tom <a href="http://www.bibsonomy.org/author/Mens">Mens</a> and Jocelyn <a href="http://www.bibsonomy.org/author/Simmonds">Simmonds</a> and Viviane <a href="http://www.bibsonomy.org/author/Jonckers">Jonckers</a> </span><em>UML 2003 - The Unified Modeling Language, </em><em>2863, </em><em>page326--340. </em>(<em>2003</em>)Mon Jul 07 16:45:32 CEST 2008{U}{M}{L} 2003 - The Unified Modeling Language326--340Using Description Logics to Maintain Consistency Between {U}{M}{L} Models28632003consistency maintenance, logics UML, description http://www.bibsonomy.org/bibtex/2c637e37e6eb5932d4550f10f0e84c7a2/eswc2008eswc20082008-05-28T14:50:04+02:00complexity description logics reasoning ontologies formal-languages-2 computational <span style="color:#555555;">Riccardo <a href="http://www.bibsonomy.org/author/Rosati">Rosati</a> </span><em>Proceedings of the 5th European Semantic Web Conference, </em><em>Berlin, Heidelberg, </em><em>Springer Verlag, </em><em>June2008. </em>Wed May 28 14:50:04 CEST 2008Berlin, HeidelbergProceedings of the 5th European Semantic Web ConferenceJuneLNCSFinite model reasoning in DL-Lite2008complexity description logics reasoning ontologies formal-languages-2 computational The semantics of OWL-DL and its subclasses are based on the classical semantics of first-order logic, in which the interpretation domain may be an infinite set. This constitutes a serious expressive limitation for such ontology languages, since, in many real application scenarios for the Semantic Web, the domain of interest is actually finite, although the exact cardinality of the domain is unknown. Hence, in these cases the formal semantics of the OWL-DL ontology does not coincide with its intended semantics. In this paper we start filling this gap, by considering the subclasses of OWL-DL which correspond to the logics of the DL-Lite family, and studying reasoning over finite models in such logics. In particular, we mainly consider two reasoning problems: deciding satisfiability of an ontology, and answering unions of conjunctive queries (UCQs) over an ontology. We first consider the description logic DL-Lite_R and show that, for the two above mentioned problems, finite model reasoning coincides with classical reasoning, i.e., reasoning over arbitrary, unrestricted models. Then, we analyze the description logics DL-Lite_F and DL_Lite_A. Differently from DL-Lite_R, in such logics finite model reasoning does not coincide with classical reasoning. To solve satisfiability and query answering over finite models in these logics, we define techniques which reduce polynomially both the above reasoning problems over finite models to the corresponding problem over arbitrary models. Thus, for all the DL-Lite languages considered, the good computational properties of satisfiability and query answering under the classical semantics also hold under the finite model semantics. Moreover, we have effectively and easily implemented the above techniques, extending the DL-Lite reasoner QuOnto with support for finite model reasoning.http://www.bibsonomy.org/bibtex/22042ef8759afd27e1d86a87c67e13e4f/eswc2008eswc20082008-05-28T14:49:55+02:00probabilistic logics mapping reasoning description matching ontology formal-languages-1 <span style="color:#555555;">Silvana <a href="http://www.bibsonomy.org/author/Castano">Castano</a> and Alfio <a href="http://www.bibsonomy.org/author/Ferrara">Ferrara</a> and Davide <a href="http://www.bibsonomy.org/author/Lorusso">Lorusso</a> and Tobias Henrik <a href="http://www.bibsonomy.org/author/Näth">N&#228;th</a> and Ralf <a href="http://www.bibsonomy.org/author/Moeller">Moeller</a> </span><em>Proceedings of the 5th European Semantic Web Conference, </em><em>Berlin, Heidelberg, </em><em>Springer Verlag, </em><em>June2008. </em>Wed May 28 14:49:55 CEST 2008Berlin, HeidelbergProceedings of the 5th European Semantic Web ConferenceJuneLNCSMapping Validation by Probabilistic Reasoning2008probabilistic logics mapping reasoning description matching ontology formal-languages-1 In the semantic web environment, where two or more independent ontologies can be used in order to describe knowledge and data, ontologies have to be aligned by defining mappings among the elements of one ontology and the elements of another ontology. Very often, mappings are not derived by the semantics of the ontologies that are compared, but, rather, by an evaluation of the similarity of the terminology used in the two ontologies or of their syntactic structure. Moreover, ontology mappings can be inaccurate, because ontology matching tools derive such mappings from inaccurate terminology or even because they are not specifically tailored for the domain at hand. In this paper, we propose a new mapping validation approach for interpreting similarity-based mappings as semantic relations, by coping also with inaccuracy situations. The idea is to see two independent ontologies as a unique distributed knowledge base and to assume a semantic interpretation of ontology mappings as probabilistic and hypothetical relations among ontology elements. We present and use a probabilistic reasoning tool in order to validate mappings and to possibly infer new relations among the ontologies.dblphttp://www.bibsonomy.org/bibtex/25820d87b8abafea6412a706e9dc4d791/stummestumme2008-03-28T12:11:30+01:00formal concept dl OntologyHandbook FCA fca logics description analysis <span style="color:#555555;">Franz <a href="http://www.bibsonomy.org/author/Baader">Baader</a> and Bernhard <a href="http://www.bibsonomy.org/author/Ganter">Ganter</a> and Baris <a href="http://www.bibsonomy.org/author/Sertkaya">Sertkaya</a> and Ulrike <a href="http://www.bibsonomy.org/author/Sattler">Sattler</a> </span><em>IJCAI, </em><em>page230-235. </em>(<em>2007</em>)Fri Mar 28 12:11:30 CET 2008IJCAIconf/ijcai/2007230-235Completing Description Logic Knowledge Bases Using Formal Concept Analysis.2007formal concept dl OntologyHandbook FCA fca logics description analysis http://www.bibsonomy.org/bibtex/2c8997feee8bc42f09e057f9be7eb5f92/stummestumme2008-03-28T10:21:21+01:00fca dl attribute formale analysis formal concept relational logics exploration description begriffsanalyse <span style="color:#555555;">Sebastian <a href="http://www.bibsonomy.org/author/Rudolph">Rudolph</a> </span><em>Universit&#228;tsverlag Karlsruhe, </em><em>DEC2006. </em><em>Dissertation . </em>Fri Mar 28 10:21:21 CET 2008DECDissertationRelational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification2006fca dl attribute formale analysis formal concept relational logics exploration description begriffsanalyse dblphttp://www.bibsonomy.org/bibtex/262fab1bd5f1425b8963bfe4458608458/marciomrmarciomr2008-02-20T03:42:09+01:00impresso logics <span style="color:#555555;">Andreas <a href="http://www.bibsonomy.org/author/Herzig">Herzig</a> and Nicolas <a href="http://www.bibsonomy.org/author/Troquard">Troquard</a> </span><em>AAMAS, </em><em>page209--216. </em><em>ACM, </em>(<em>2006</em>)Wed Feb 20 03:42:09 CET 2008AAMASatal2006209--216Knowing how to play: uniform choices in logics of agency.2006impresso logics The entire bibliography of the book "Software Evolution" co-edited by Tom Mens and Serge Demeyer, published by Springer in 2008http://www.bibsonomy.org/bibtex/2915934abb92646a0b520e5d464f0083f/evolevol2007-09-26T10:37:27+02:00description logics <span style="color:#555555;">F. <a href="http://www.bibsonomy.org/author/Baader">Baader</a> and D. <a href="http://www.bibsonomy.org/author/McGuinness">McGuinness</a> and D. <a href="http://www.bibsonomy.org/author/Nardi">Nardi</a> and P.F. <a href="http://www.bibsonomy.org/author/Patel-Schneider">Patel-Schneider</a> </span><em>Cambridge University Press, </em>(<em>2003</em>)Wed Sep 26 10:37:27 CEST 2007The Description Logic Handbook: Theory, Implementation and Applications2003description logics The entire bibliography of the book "Software Evolution" co-edited by Tom Mens and Serge Demeyer, published by Springer in 2008http://www.bibsonomy.org/bibtex/2d6ac2b3805bdf23d9bfc3a06f14202ca/evolevol2007-09-26T10:37:27+02:00logics UML description <span style="color:#555555;">Ragnhild Van Der <a href="http://www.bibsonomy.org/author/Straeten}">Straeten</a> and Jocelyn <a href="http://www.bibsonomy.org/author/Simmonds">Simmonds</a> and Tom <a href="http://www.bibsonomy.org/author/Mens">Mens</a> </span><em>Proc. Int'l Workshop on Description Logics (DL), </em><em>September2003. </em>Wed Sep 26 10:37:27 CEST 2007Proc. Int'l Workshop on Description Logics (DL)SeptemberDetecting inconsistencies between {U}{M}{L} models using description logic2003logics UML description The entire bibliography of the book "Software Evolution" co-edited by Tom Mens and Serge Demeyer, published by Springer in 2008http://www.bibsonomy.org/bibtex/238be4a512c473457554506ed3b0f65e8/evolevol2007-09-26T10:37:27+02:00description logics object-oriented UML <span style="color:#555555;">Ragnhild Van Der <a href="http://www.bibsonomy.org/author/Straeten}">Straeten</a> </span><em>Proc. Int'l Workshop on Description Logics (DL), </em>(<em>2002</em>)Wed Sep 26 10:37:27 CEST 2007Proc. Int'l Workshop on Description Logics (DL)Using Description Logic in Object-Oriented Software Development2002description logics object-oriented UML The entire bibliography of the book "Software Evolution" co-edited by Tom Mens and Serge Demeyer, published by Springer in 2008http://www.bibsonomy.org/bibtex/294b8e8ac5c4b168a17601b0ce4ded5ca/evolevol2007-09-26T10:37:27+02:00description logics UML <span style="color:#555555;">Andrea <a href="http://www.bibsonomy.org/author/Cal\&#039;i}">Cal'i</a> and Diego <a href="http://www.bibsonomy.org/author/Calvanese">Calvanese</a> and Giuseppe De <a href="http://www.bibsonomy.org/author/Giacomo}">Giacomo</a> and Maurizio <a href="http://www.bibsonomy.org/author/Lenzerini">Lenzerini</a> </span><em>Proc. IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development (PMD), </em>(<em>2001</em>)Wed Sep 26 10:37:27 CEST 2007Proc. IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development (PMD)Reasoning on {U}{M}{L} Class Diagrams in Description Logics2001description logics UML The entire bibliography of the book "Software Evolution" co-edited by Tom Mens and Serge Demeyer, published by Springer in 2008http://www.bibsonomy.org/bibtex/2efaba6a27bf95c445d2d8092137fc844/evolevol2007-09-26T10:37:27+02:00refactoring model-driven consistency inconsistency development description software logics management maintenance UML <span style="color:#555555;">Ragnhild Van Der <a href="http://www.bibsonomy.org/author/Straeten}">Straeten</a> and Viviane <a href="http://www.bibsonomy.org/author/Jonckers">Jonckers</a> and Tom <a href="http://www.bibsonomy.org/author/Mens">Mens</a> </span><em>UML 2004 - The Unified Modeling Language, </em><em>volume3273ofLecture Notes in Computer Science, </em><em>page305--319. </em><em>Springer-Verlag, </em><em>October2004. </em>Wed Sep 26 10:37:27 CEST 2007{U}{M}{L} 2004 - The Unified Modeling LanguageOctober305--319Lecture Notes in Computer ScienceSupporting Model Refactorings through Behaviour Inheritance Consistencies32732004refactoring model-driven consistency inconsistency development description software logics management maintenance UML The entire bibliography of the book "Software Evolution" co-edited by Tom Mens and Serge Demeyer, published by Springer in 2008http://www.bibsonomy.org/bibtex/24d92ab476b77a1c57f04ffbdf5e1e5cd/evolevol2007-09-26T10:37:27+02:00description maintenance consistency UML logics <span style="color:#555555;">Ragnhild Van Der <a href="http://www.bibsonomy.org/author/Straeten}">Straeten</a> and Tom <a href="http://www.bibsonomy.org/author/Mens">Mens</a> and Jocelyn <a href="http://www.bibsonomy.org/author/Simmonds">Simmonds</a> and Viviane <a href="http://www.bibsonomy.org/author/Jonckers">Jonckers</a> </span><em>UML 2003 - The Unified Modeling Language, </em><em>volume2863ofLecture Notes in Computer Science, </em><em>page326--340. </em><em>Springer-Verlag, </em>(<em>2003</em>)Wed Sep 26 10:37:27 CEST 2007{U}{M}{L} 2003 - The Unified Modeling Language326--340Lecture Notes in Computer ScienceUsing Description Logics to Maintain Consistency Between {U}{M}{L} Models28632003description maintenance consistency UML logics software evolution bibliographyhttp://www.bibsonomy.org/bibtex/2d6ac2b3805bdf23d9bfc3a06f14202ca/tommenstommens2007-09-25T21:44:52+02:00UML description logics <span style="color:#555555;">Ragnhild Van Der <a href="http://www.bibsonomy.org/author/Straeten}">Straeten</a> and Jocelyn <a href="http://www.bibsonomy.org/author/Simmonds">Simmonds</a> and Tom <a href="http://www.bibsonomy.org/author/Mens">Mens</a> </span><em>Proc. Int'l Workshop on Description Logics (DL), </em><em>September2003. </em>Tue Sep 25 21:44:52 CEST 2007Proc. Int'l Workshop on Description Logics (DL)SeptemberDetecting inconsistencies between {U}{M}{L} models using description logic2003UML description logics software evolution bibliographyhttp://www.bibsonomy.org/bibtex/238be4a512c473457554506ed3b0f65e8/tommenstommens2007-09-25T21:44:52+02:00description object-oriented UML logics <span style="color:#555555;">Ragnhild Van Der <a href="http://www.bibsonomy.org/author/Straeten}">Straeten</a> </span><em>Proc. Int'l Workshop on Description Logics (DL), </em>(<em>2002</em>)Tue Sep 25 21:44:52 CEST 2007Proc. Int'l Workshop on Description Logics (DL)Using Description Logic in Object-Oriented Software Development2002description object-oriented UML logics software evolution bibliographyhttp://www.bibsonomy.org/bibtex/2efaba6a27bf95c445d2d8092137fc844/tommenstommens2007-09-25T21:44:52+02:00refactoring development logics management UML maintenance model-driven software inconsistency consistency description <span style="color:#555555;">Ragnhild Van Der <a href="http://www.bibsonomy.org/author/Straeten}">Straeten</a> and Viviane <a href="http://www.bibsonomy.org/author/Jonckers">Jonckers</a> and Tom <a href="http://www.bibsonomy.org/author/Mens">Mens</a> </span><em>UML 2004 - The Unified Modeling Language, </em><em>volume3273ofLecture Notes in Computer Science, </em><em>page305--319. </em><em>Springer-Verlag, </em><em>October2004. </em>Tue Sep 25 21:44:52 CEST 2007{U}{M}{L} 2004 - The Unified Modeling LanguageOctober305--319Lecture Notes in Computer ScienceSupporting Model Refactorings through Behaviour Inheritance Consistencies32732004refactoring development logics management UML maintenance model-driven software inconsistency consistency description software evolution bibliographyhttp://www.bibsonomy.org/bibtex/29d865a1cf84f798db38092964beb1e3f/tommenstommens2007-09-25T21:44:52+02:00consistency UML logics inconsistency description model <span style="color:#555555;">Jocelyn <a href="http://www.bibsonomy.org/author/Simmonds">Simmonds</a> and Ragnhild Van Der <a href="http://www.bibsonomy.org/author/Straeten}">Straeten</a> and Viviane <a href="http://www.bibsonomy.org/author/Jonckers">Jonckers</a> and Tom <a href="http://www.bibsonomy.org/author/Mens">Mens</a> </span><em>S\'erie L'objet - logiciel, base de donn\'ees, r\'eseaux</em><em>10(2-3):231-244</em>(<em>2004</em>)Tue Sep 25 21:44:52 CEST 2007S\'erie L'objet - logiciel, base de donn\'ees, r\'eseaux2-3231-244Maintaining Consistency between {U}{M}{L} Models Using Description Logic102004consistency UML logics inconsistency description model software evolution bibliographyhttp://www.bibsonomy.org/bibtex/24d92ab476b77a1c57f04ffbdf5e1e5cd/tommenstommens2007-09-25T21:44:52+02:00consistency maintenance UML description logics <span style="color:#555555;">Ragnhild Van Der <a href="http://www.bibsonomy.org/author/Straeten}">Straeten</a> and Tom <a href="http://www.bibsonomy.org/author/Mens">Mens</a> and Jocelyn <a href="http://www.bibsonomy.org/author/Simmonds">Simmonds</a> and Viviane <a href="http://www.bibsonomy.org/author/Jonckers">Jonckers</a> </span><em>UML 2003 - The Unified Modeling Language, </em><em>volume2863ofLecture Notes in Computer Science, </em><em>page326--340. </em><em>Springer-Verlag, </em>(<em>2003</em>)Tue Sep 25 21:44:52 CEST 2007{U}{M}{L} 2003 - The Unified Modeling Language326--340Lecture Notes in Computer ScienceUsing Description Logics to Maintain Consistency Between {U}{M}{L} Models28632003consistency maintenance UML description logics dblphttp://www.bibsonomy.org/bibtex/2bdd618b0b8b2ed7d952149916eaac546/stummestumme2007-08-30T16:42:18+02:00dl analysis fca concept description formal logics <span style="color:#555555;">Franz <a href="http://www.bibsonomy.org/author/Baader">Baader</a> and Bernhard <a href="http://www.bibsonomy.org/author/Ganter">Ganter</a> and Baris <a href="http://www.bibsonomy.org/author/Sertkaya">Sertkaya</a> and Ulrike <a href="http://www.bibsonomy.org/author/Sattler">Sattler</a> </span><em>IJCAI, </em><em>page230-235. </em>(<em>2007</em>)Thu Aug 30 16:42:18 CEST 2007IJCAIconf/ijcai/2007230-235Completing Description Logic Knowledge Bases Using Formal Concept Analysis2007dl analysis fca concept description formal logics