http://www.bibsonomy.org/burst/concept/tag/dlBibSonomy BuRST Feed for /concept/tag/dl2008-07-21T00:30:20+02:00http://www.bibsonomy.org/bibtex/2ff57a366b70c299749239bb514a3bb71/sb3000sb30002008-05-16T16:49:13+02:00ontology dl kernels similarity <span style="color:#555555;">Nicola <a href="http://www.bibsonomy.org/author/Fanizzi">Fanizzi</a> and Claudia <a href="http://www.bibsonomy.org/author/d&#039;Amato">d'Amato</a> </span><em>Foundations of Intelligent Systems, 16th International Symposium,, </em><em>volume4203ofLecture Notes in Computer Science, </em><em>page322-331. </em><em>Springer, Berlin--Heidelberg, Germany, </em>(<em>2006</em>)Fri May 16 16:49:13 CEST 2008Foundations of Intelligent Systems, 16th International Symposium,322-331Lecture Notes in Computer ScienceA Declarative Kernel for {ALC} Concept Descriptions42032006ontology dl kernels similarity http://www.bibsonomy.org/bibtex/2b249626329e2cdee82c8799b9344b2de/sb3000sb30002008-04-09T20:38:20+02:00reasoning kaon2 dl <span style="color:#555555;">Boris <a href="http://www.bibsonomy.org/author/Motik">Motik</a> </span><em>Universit&#228;t Karlsruhe (TH), Karlsruhe, Germany, </em><em>January2006. </em>Wed Apr 09 20:38:20 CEST 2008JanuaryReasoning in Description Logics using Resolution and Deductive Databases2006reasoning kaon2 dl SpringerLink - Buchkapitelhttp://www.bibsonomy.org/bibtex/21e3b280b38b08fc8efc5618e645b29ff/sb3000sb30002008-04-03T16:41:37+02:00ilp dl <span style="color:#555555;">Nicola <a href="http://www.bibsonomy.org/author/Fanizzi">Fanizzi</a> and Luigi <a href="http://www.bibsonomy.org/author/Iannone">Iannone</a> and Ignazio <a href="http://www.bibsonomy.org/author/Palmisano">Palmisano</a> and Giovanni <a href="http://www.bibsonomy.org/author/Semeraro">Semeraro</a> </span><em>page99--110. </em><em>Springer, Berlin--Heidelberg, Germany, </em>(<em>2004</em>)Thu Apr 03 16:41:37 CEST 2008Proceedings of the 15th European Conference on Machine Learning, September 20-24, 2004, Pisa, Italy99--110Concept Formation in Expressive Description Logics2004ilp dl http://www.bibsonomy.org/bibtex/2abac8f824c84fbc5ab621fd3e3433dbc/sb3000sb30002008-03-28T13:58:20+01:00similarity ontology kernels dl <span style="color:#555555;">Nicola <a href="http://www.bibsonomy.org/author/Fanizzi">Fanizzi</a> and Claudia <a href="http://www.bibsonomy.org/author/d&#039;Amato">d'Amato</a> </span><em>Proceedings of the 11th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2007), XVII Italian Workshop on Neural Networks,, </em><em>4692, </em><em>page148--155. </em><em>Springer, Berlin--Heidelberg, Germany, </em>(<em>2007</em>)Fri Mar 28 13:58:20 CET 2008Proceedings of the 11th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2007), XVII Italian Workshop on Neural Networks, 4692148--155Lecture Notes in Computer ScienceInductive Concept Retrieval and Query Answering with Semantic Knowledge Bases Through Kernel Methods2007similarity ontology kernels dl dblphttp://www.bibsonomy.org/bibtex/25820d87b8abafea6412a706e9dc4d791/stummestumme2008-03-28T12:11:30+01:00fca OntologyHandbook analysis logics FCA formal description dl concept <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.2007fca OntologyHandbook analysis logics FCA formal description dl concept http://www.bibsonomy.org/bibtex/2c8997feee8bc42f09e057f9be7eb5f92/stummestumme2008-03-28T10:21:21+01:00exploration relational fca description begriffsanalyse analysis logics dl concept formal attribute formale <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 Specification2006exploration relational fca description begriffsanalyse analysis logics dl concept formal attribute formale A dissimilarity measure for ALC concept descriptionshttp://www.bibsonomy.org/bibtex/2b8d613bf514d81b777c724640ce91594/sb3000sb30002008-03-14T12:24:42+01:00similarity dl <span style="color:#555555;">Claudia <a href="http://www.bibsonomy.org/author/d&#039;Amato">d'Amato</a> and Nicola <a href="http://www.bibsonomy.org/author/Fanizzi">Fanizzi</a> and Floriana <a href="http://www.bibsonomy.org/author/Esposito">Esposito</a> </span><em>Proceedings of the 2006 ACM Symposium on Applied Computing (SAC 2006), April 23-27, 2006, Dijon, France, </em><em>page1695--1699. </em><em>ACM, New York, NY, USA, </em>(<em>2006</em>)Fri Mar 14 12:24:42 CET 2008Proceedings of the 2006 ACM Symposium on Applied Computing (SAC 2006), April 23-27, 2006, Dijon, France1695--1699A Dissimilarity Measure for {ALC} Concept Descriptions2006similarity dl http://www.bibsonomy.org/bibtex/26abee7d4dbc7874815f8d18f20d3e3a9/sb3000sb30002008-03-10T16:07:01+01:00DL ml <span style="color:#555555;">William W. <a href="http://www.bibsonomy.org/author/Cohen">Cohen</a> and Haym <a href="http://www.bibsonomy.org/author/Hirsh">Hirsh</a> </span><em>Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94), May 24-27, 1994, Bonn, Germany, </em><em>page121--133. </em><em>Morgan-Kauffman Publishers, San Francisco, CA, USA, </em>(<em>1994</em>)Mon Mar 10 16:07:01 CET 2008Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94), May 24-27, 1994, Bonn, Germany121--133Learning the {CLASSIC} Description Logic: Theoretical and Experimental Results1994DL ml http://www.bibsonomy.org/bibtex/21bfb5f33156769d97d22bf8d5b4369dc/sb3000sb30002008-03-10T15:23:02+01:00similarity dl <span style="color:#555555;">Alexander <a href="http://www.bibsonomy.org/author/Borgida">Borgida</a> and Thomas <a href="http://www.bibsonomy.org/author/Walsh">Walsh</a> and Haym <a href="http://www.bibsonomy.org/author/Hirsh">Hirsh</a> </span><em>Proceedings of the 2005 International Workshop on Description Logics (DL2005), July 26-28, 2005, Edinburgh, Scotland, UK, </em><em>volume147ofCEUR Workshop Proceedings, </em><em>CEUR-WS.org, </em>(<em>2005</em>)Mon Mar 10 15:23:02 CET 2008Proceedings of the 2005 International Workshop on Description Logics (DL2005), July 26-28, 2005, Edinburgh, Scotland, UKCEUR Workshop ProceedingsTowards Measuring Similarity in Description Logics.1472005similarity dl http://www.bibsonomy.org/bibtex/23566065693f7ae313f82f9b2a0c96936/sb3000sb30002008-03-10T11:27:09+01:00DL <span style="color:#555555;">Franz <a href="http://www.bibsonomy.org/author/Baader">Baader</a> and Diego <a href="http://www.bibsonomy.org/author/Calvanese">Calvanese</a> and Deborah <a href="http://www.bibsonomy.org/author/McGuinness">McGuinness</a> and Daniele <a href="http://www.bibsonomy.org/author/Nardi">Nardi</a> and Peter <a href="http://www.bibsonomy.org/author/Patel-Schneider">Patel-Schneider</a> (eds.). </span><em>Cambridge University Press, </em><em>Cambridge, UK, </em>(<em>2003</em>)Mon Mar 10 11:27:09 CET 2008Cambridge, UKThe Description Logic Handbook: Theory, Implementation and Applications2003DL http://www.bibsonomy.org/bibtex/23efc4249eceac50aeff7e578f1937f32/sb3000sb30002008-02-27T13:46:00+01:00dl similarity <span style="color:#555555;">C. <a href="http://www.bibsonomy.org/author/d&#039;Amato">d'Amato</a> and N. <a href="http://www.bibsonomy.org/author/Fanizzi">Fanizzi</a> and F. <a href="http://www.bibsonomy.org/author/Esposito">Esposito</a> </span><em>Proceedings of Convegno Italiano di Logica Computazionale (CILC05) 21-22 June 2005, Rome, Italy, </em>(<em>2005</em>)Wed Feb 27 13:46:00 CET 2008Proceedings of Convegno Italiano di Logica Computazionale (CILC05) 21-22 June 2005, Rome, ItalyA semantic similarity measure for expressive description logics2005dl similarity dblphttp://www.bibsonomy.org/bibtex/2ac4dbee26d320e74e06c568b1f73ec4a/stasinosstasinos2008-01-09T19:58:23+01:00fuzzy dl description-logic stasinos reasoning yadlr logic <span style="color:#555555;">Stasinos <a href="http://www.bibsonomy.org/author/Konstantopoulos">Konstantopoulos</a> and Georgios <a href="http://www.bibsonomy.org/author/Apostolikas">Apostolikas</a> </span><em>OTM Workshops (2), </em><em>volume4806ofLecture Notes in Computer Science, </em><em>page1312-1318. </em><em>Springer, </em>(<em>2007</em>)Wed Jan 09 19:58:23 CET 2008OTM Workshops (2)conf/otm/2007-w21312-1318Lecture Notes in Computer ScienceFuzzy-DL Reasoning over Unknown Fuzzy Degrees.48062007fuzzy dl description-logic stasinos reasoning yadlr logic http://www.bibsonomy.org/bibtex/28730dbe76ac8f9b3f97355adedb6ceac/sb3000sb30002007-11-22T14:42:43+01:00kernels dl similarity <span style="color:#555555;">Claudia <a href="http://www.bibsonomy.org/author/d&#039;Amato">d'Amato</a> </span><em>University of Bari, Italy, </em>(<em>2007</em>)Thu Nov 22 14:42:43 CET 2007Symilarity-based Learning Methods for the Semantic Web2007kernels dl similarity DBLP Record 'conf/dlog/HustadtM05'http://www.bibsonomy.org/bibtex/2bb22e87d85d22d67d35519fd41ae4bbc/ludaeschludaesch2007-11-15T20:06:25+01:004dave disjunction DL <span style="color:#555555;">Ullrich <a href="http://www.bibsonomy.org/author/Hustadt">Hustadt</a> and Boris <a href="http://www.bibsonomy.org/author/Motik">Motik</a> </span><em>Description Logics, </em>(<em>2005</em>)Thu Nov 15 20:06:25 CET 2007Description LogicsDBLP:conf/dlog/2005Description Logics and Disjunctive Datalog The Story so Far20054dave disjunction DL http://www.bibsonomy.org/bibtex/211ddce808f5b8e37f22676ea694cc2de/wnpxrzwnpxrz2007-11-13T16:56:30+01:00ontology conceptual modeling proj:o4p dl <span style="color:#555555;"> <a href="http://www.bibsonomy.org/author/Borgida">Borgida</a> and <a href="http://www.bibsonomy.org/author/Brachman">Brachman</a> </span><em>The Description Logic Handbook: Theoryand Implementationand and Applications, </em><em>Cambridge University Press, </em>(<em>2003</em>)Tue Nov 13 16:56:30 CET 2007The Description Logic Handbook: Theoryand Implementationand and Applications359-381{Conceptual Modeling with Description Logics}2003ontology conceptual modeling proj:o4p dl Amazon.com: The Description Logic Handbook: Theory, Implementation, and Applications: Books: Franz Baader,Diego Calvanese,Deborah L. McGuinness,Daniele Nardi,Peter F. Patel-Schneiderhttp://www.bibsonomy.org/bibtex/257de558141ff78520b5f0b8d734df376/wnpxrzwnpxrz2007-11-13T16:51:02+01:00dl imported owl semanticweb proj:o4p descriptionlogics book <span style="color:#555555;">Franz <a href="http://www.bibsonomy.org/author/Baader">Baader</a> and Diego <a href="http://www.bibsonomy.org/author/Calvanese">Calvanese</a> and Deborah L. <a href="http://www.bibsonomy.org/author/McGuinness">McGuinness</a> and Daniele <a href="http://www.bibsonomy.org/author/Nardi">Nardi</a> </span>(<em>2003</em>)Tue Nov 13 16:51:02 CET 2007The Description Logic Handbook: Theory, Implementation, and Applications2003dl imported owl semanticweb proj:o4p descriptionlogics book http://www.bibsonomy.org/bibtex/2b00234d45e5b53dcfd57a0cef786fde9/iswc2007iswc20072007-11-07T19:13:58+01:00entailment iswc 2007 web_service finding software_agent owl justification research_14 human-computer_interaction dl semantic_web <span style="color:#555555;">Aditya <a href="http://www.bibsonomy.org/author/Kalyanpur">Kalyanpur</a> and Bijan <a href="http://www.bibsonomy.org/author/Parsia">Parsia</a> and Matthew <a href="http://www.bibsonomy.org/author/Horridge">Horridge</a> and Evren <a href="http://www.bibsonomy.org/author/Sirin">Sirin</a> </span><em>Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea, </em><em>volume4825ofLNCS, </em><em>page267--280. </em><em>Berlin, Heidelberg, </em><em>Springer Verlag, </em><em>November2007. </em>Wed Nov 07 19:13:58 CET 2007Berlin, HeidelbergProceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Koreahttp://data.semanticweb.org/conference/iswc-aswc/2007/proceedingsNovember267--280LNCSFinding all Justifications of OWL DL Entailments48252007entailment iswc 2007 web_service finding software_agent owl justification research_14 human-computer_interaction dl semantic_web Finding the justifications of an entailment (that is, all the minimal set of axioms sufficient to produce an entailment) has emerged as a key inference service for the Web Ontology Language (OWL). Justifications are essential for debugging unsatisfiable classes and contradictions. The availability of justifications as explanations of entailments improves the understandability of large and complex ontologies. In this paper, we present several algorithms for computing all the justifications of an entailment in an OWL-DL Ontology and show, by an empirical evaluation, that even a reasoner independent approach works well on real ontologies.http://www.bibsonomy.org/bibtex/2483ca4fa5618dce8065f2aff6ff49d18/stasinosstasinos2007-10-28T09:05:11+01:00stasinos DL reasoning fuzzy <span style="color:#555555;">Stasinos <a href="http://www.bibsonomy.org/author/Konstantopoulos">Konstantopoulos</a> and Georgios <a href="http://www.bibsonomy.org/author/Apostolikas">Apostolikas</a> </span><em>Proc. International IFIP Workshop of Semantic Web and Web Semantics (IFIP-SWWS 07), Algarve, 29--30 Nov. 2007, </em>(<em>2007</em>)Sun Oct 28 09:05:11 CET 2007Proc. International IFIP Workshop of Semantic Web and Web Semantics {(IFIP-SWWS 07)}, Algarve, 29--30 Nov. 2007Fuzzy-DL Reasoning over Unknown Fuzzy Degrees2007stasinos DL reasoning fuzzy http://www.bibsonomy.org/bibtex/20eae92ec4d7f7500ec90b8e38aa569cc/rgoulartrgoulart2007-10-10T21:16:28+02:00semantic-web dl <span style="color:#555555;">Bijan <a href="http://www.bibsonomy.org/author/Parsia">Parsia</a> and Evren <a href="http://www.bibsonomy.org/author/Sirin">Sirin</a> </span><em>3rd International Semantic Web Conference (ISWC2004), </em>(<em>2004</em>)Wed Oct 10 21:16:28 CEST 20073rd International Semantic Web Conference (ISWC2004)Pellet: An OWL DL Reasoner2004semantic-web dl Reasoning capability is of crucial importance to many applications developed for the Semantic Web. Description Logics provide sound and complete reasoning algorithms that can effectively handle the DL fragment of the Web Ontology Language (OWL). However, existing DL reasoners were implemented long before OWL came into existence and lack some features that are essential for SemanticWeb applications, such as reasoning with individuals, querying capabilities, nominal support, elimination of the unique name assumption and so forth. With these objectives in mind we have implemented an OWL DL reasoner and deployed it in various kinds of applications.dblphttp://www.bibsonomy.org/bibtex/2382e7edeaf7514cb8255c5d430646b1d/aljsanchezaljsanchez2007-09-21T06:07:28+02:00owl reasoner pellet dl <span style="color:#555555;">Evren <a href="http://www.bibsonomy.org/author/Sirin">Sirin</a> and Bijan <a href="http://www.bibsonomy.org/author/Parsia">Parsia</a> </span><em>Description Logics, </em><em>volume104ofCEUR Workshop Proceedings, </em><em>CEUR-WS.org, </em>(<em>2004</em>)Fri Sep 21 06:07:28 CEST 2007Description Logicsconf/dlog/2004CEUR Workshop ProceedingsPellet: An OWL DL Reasoner.1042004owl reasoner pellet dl