https://www.bibsonomy.org/concept/tag/dl%20semanticwebBibSonomy RSS Feed for /concept/tag/dl%20semanticwebWe extend the description logic EL++ with reflexive roles and range restrictions, and show that subsumption remains tractable if a certain syntactic restriction is adopted. We also show that subsumption becomes PSpace-hard (resp. undecidable) if this restriction is weakened (resp. dropped). Additionally, we prove that tractability is lost when symmetric roles are added: in this case, subsumption becomes ExpTime- hardhttp://webont.org/owled/2008dc/papers/owled2008dc_paper_3.pdfbshanks2022-01-06T22:03:01+01:00owl EL EL++ dl owlel descriptionlogic <span itemprop="description">We extend the description logic EL++ with reflexive roles and range restrictions, and show that subsumption remains tractable if a certain syntactic restriction is adopted. We also show that subsumption becomes PSpace-hard (resp. undecidable) if this restriction is weakened (resp. dropped). Additionally, we prove that tractability is lost when symmetric roles are added: in this case, subsumption becomes ExpTime- hard</span>The DL-Learner software learns concepts in Description Logics (DLs) from examples. It extends Inductive Logic Programming to Descriptions Logics and the Semantic Web.http://dl-learner.org/Projects/DLLearner/OnePageIntroductiongromgull2010-05-14T16:33:13+02:00description-logic machine-learning semantic-web ilp <span itemprop="description">The DL-Learner software learns concepts in Description Logics (DLs) from examples. It extends Inductive Logic Programming to Descriptions Logics and the Semantic Web.</span>http://www.crcpress.com/product/isbn/9780849330896;jsessionid=gmNCWLkCYiX90T8ev7o8Lg**obj2010-02-04T08:25:28+01:00nlp geographic fca cg dl representation knowledge applications ontologies <a itemprop="url" data-versiondate="2010-02-04T08:25:28+01:00" href="http://www.crcpress.com/product/isbn/9780849330896;jsessionid=gmNCWLkCYiX90T8ev7o8Lg**" rel="nofollow" class="description-link">http://www.crcpress.com/product/isbn/9780849330896;jsessionid=gmNCWLkCYiX90T8ev7o8Lg**</a>http://dl-learner.org/Projects/DLLearnerhotho2008-10-13T20:14:27+02:00semantic owl web dl learning ml <a itemprop="url" data-versiondate="2008-10-13T20:14:27+02:00" href="http://dl-learner.org/Projects/DLLearner" rel="nofollow" class="description-link">http://dl-learner.org/Projects/DLLearner</a>http://www.cs.man.ac.uk/~ezolin/logic/complexity.htmlhotho2007-02-09T09:43:34+01:00semantic complexity web rdf dl logic <a itemprop="url" data-versiondate="2007-02-09T09:43:34+01:00" href="http://www.cs.man.ac.uk/~ezolin/logic/complexity.html" rel="nofollow" class="description-link">http://www.cs.man.ac.uk/~ezolin/logic/complexity.html</a>http://www.cs.man.ac.uk/~horrocks/Teaching/cs646/Labs/dlreasoning/jaeschke2006-02-08T08:17:38+01:00lehre owl reasoning exercise dl ontology <a itemprop="url" data-versiondate="2006-02-08T08:17:38+01:00" href="http://www.cs.man.ac.uk/~horrocks/Teaching/cs646/Labs/dlreasoning/" rel="nofollow" class="description-link">http://www.cs.man.ac.uk/~horrocks/Teaching/cs646/Labs/dlreasoning/</a>