https://www.bibsonomy.org/concept/tag/descriptionlogicsBibSonomy RSS Feed for /concept/tag/descriptionlogics Markus Krötzsch, František Simancík, Ian Horrocks ˇ Department of Computer Science, University of Oxford, UKhttp://arxiv.org/pdf/1201.4089.pdflysander072014-12-16T12:32:39+01:00descriptionlogics swt1415 logics Semantic_Web <span itemprop="description"> Markus Krötzsch, František Simancík, Ian Horrocks ˇ Department of Computer Science, University of Oxford, UK</span>http://www.w3.org/DesignIssues/N3Logiczazi2011-08-19T12:39:26+02:00Notation3_Logic w3org N3 timbl Notation3 DescriptionLogics DesignIssues Semantic_Web <a itemprop="url" data-versiondate="2011-08-19T12:39:26+02:00" href="http://www.w3.org/DesignIssues/N3Logic" rel="nofollow" class="description-link">http://www.w3.org/DesignIssues/N3Logic</a>http://www.w3.org/TR/owl2-rdf-based-semantics/zazi2011-08-19T12:39:10+02:00OWL Semantics Reasoning Direct_Semantics W3C OWL2 DescriptionLogics Semantic_Web <a itemprop="url" data-versiondate="2011-08-19T12:39:10+02:00" href="http://www.w3.org/TR/owl2-rdf-based-semantics/" rel="nofollow" class="description-link">http://www.w3.org/TR/owl2-rdf-based-semantics/</a>http://www.w3.org/DesignIssues/Logic.htmlzazi2011-08-19T12:38:55+02:00w3org timbl DescriptionLogics DesignIssues Semantic_Web <a itemprop="url" data-versiondate="2011-08-19T12:38:55+02:00" href="http://www.w3.org/DesignIssues/Logic.html" rel="nofollow" class="description-link">http://www.w3.org/DesignIssues/Logic.html</a>monohttp://www.w3.org/DesignIssues/Rules.htmlzazi2011-08-19T12:38:54+02:00w3org timbl Reasoning Inferencing Semantic_Web_Technology DescriptionLogics DesignIssues Semantic_Web monotonicity <span itemprop="description">mono</span>OWL 2 Web Ontology Language Direct Semanticshttp://www.w3.org/TR/owl2-direct-semantics/zazi2011-08-19T12:38:49+02:00OWL Semantics Reasoning Direct_Semantics W3C OWL2 DescriptionLogics Semantic_Web <span itemprop="description">OWL 2 Web Ontology Language Direct Semantics</span>In the Description Logic Handbook, edited by F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider, Cambridge University Press, 2002, pages 5-44.http://www.inf.unibz.it/~franconi/dl/course/dlhb/dlhb-01.pdflysander072010-01-05T16:03:03+01:00swt1415 swt1415_07 openhpi swt1314 swt1213 swt1112 swt1314_07 swt1011_08 swt1516_06 swt1516 descriptionlogics swt1213_07 lecture04 sw0910_08 swt1011 logic swt1112_07 <span itemprop="description">In the Description Logic Handbook, edited by F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider, Cambridge University Press, 2002, pages 5-44.</span>Komplexitäten für verschiedene Beschreibungslogiken – inklusive Literaturangabenhttp://www.cs.man.ac.uk/~ezolin/dl/lysander072009-01-22T08:51:17+01:00swt1415 swt1415_07 swt1314 swt1213 swt1112 swt1314_07 sw0910 swt1011_08 swt1516_05 swt1516 descriptionlogics sw0809 sw0809-10 swt1213_07 sw0910_08 swt1011 swt1112_07 <span itemprop="description">Komplexitäten für verschiedene Beschreibungslogiken – inklusive Literaturangaben</span>http://dl.kr.org/wnpxrz2007-11-19T17:05:08+01:00descriptionlogics dl <a itemprop="url" data-versiondate="2007-11-19T17:05:08+01:00" href="http://dl.kr.org/" rel="nofollow" class="description-link">http://dl.kr.org/</a>Bao, Honavar: Collaborative Ontology Building with Wiki@nt - A multi-agent based ontology building environmenthttp://www.cs.iastate.edu/~honavar/Papers/baoeon04.pdflysander072006-03-14T09:26:39+01:00descriptionlogics wiki agents ontologies research <span itemprop="description">Bao, Honavar: Collaborative Ontology Building with Wiki@nt - A multi-agent based ontology building environment</span>