Matches in SemOpenAlex for { <https://semopenalex.org/work/W72445426> ?p ?o ?g. }
- W72445426 endingPage "294" @default.
- W72445426 startingPage "279" @default.
- W72445426 abstract "The lightweight ontology language OWL RL is used for reasoning with large amounts of data. To this end, the W3C standard provides a simple system of deduction rules, which operate directly on the RDF syntax of OWL. Several similar systems have been studied. However, these approaches are usually complete for instance retrieval only. This paper asks if and how such methods could also be used for computing entailed subclass relationships. Checking entailment for arbitrary OWL RL class subsumptions is co-NP-hard, but tractable rule-based reasoning is possible when restricting to subsumptions between atomic classes. Surprisingly, however, this cannot be achieved in any RDF-based rule system, i.e., the W3C calculus cannot be extended to compute all atomic class subsumptions. We identify syntactic restrictions to mitigate this problem, and propose a rule system that is sound and complete for many OWL RL ontologies." @default.
- W72445426 created "2016-06-24" @default.
- W72445426 creator A5087579719 @default.
- W72445426 date "2012-01-01" @default.
- W72445426 modified "2023-10-14" @default.
- W72445426 title "The Not-So-Easy Task of Computing Class Subsumptions in OWL RL" @default.
- W72445426 cites W1577132533 @default.
- W72445426 cites W1751091745 @default.
- W72445426 cites W1964050638 @default.
- W72445426 cites W1983077505 @default.
- W72445426 cites W2148411152 @default.
- W72445426 cites W2156774188 @default.
- W72445426 cites W2168593943 @default.
- W72445426 cites W4298492547 @default.
- W72445426 doi "https://doi.org/10.1007/978-3-642-35176-1_18" @default.
- W72445426 hasPublicationYear "2012" @default.
- W72445426 type Work @default.
- W72445426 sameAs 72445426 @default.
- W72445426 citedByCount "14" @default.
- W72445426 countsByYear W724454262012 @default.
- W72445426 countsByYear W724454262013 @default.
- W72445426 countsByYear W724454262014 @default.
- W72445426 countsByYear W724454262015 @default.
- W72445426 countsByYear W724454262016 @default.
- W72445426 countsByYear W724454262019 @default.
- W72445426 crossrefType "book-chapter" @default.
- W72445426 hasAuthorship W72445426A5087579719 @default.
- W72445426 hasBestOaLocation W724454261 @default.
- W72445426 hasConcept C101230327 @default.
- W72445426 hasConcept C102993220 @default.
- W72445426 hasConcept C111472728 @default.
- W72445426 hasConcept C134752490 @default.
- W72445426 hasConcept C138885662 @default.
- W72445426 hasConcept C147497476 @default.
- W72445426 hasConcept C148792806 @default.
- W72445426 hasConcept C154945302 @default.
- W72445426 hasConcept C15657843 @default.
- W72445426 hasConcept C162005631 @default.
- W72445426 hasConcept C162324750 @default.
- W72445426 hasConcept C182321512 @default.
- W72445426 hasConcept C187736073 @default.
- W72445426 hasConcept C199360897 @default.
- W72445426 hasConcept C2129575 @default.
- W72445426 hasConcept C25810664 @default.
- W72445426 hasConcept C2777212361 @default.
- W72445426 hasConcept C2780451532 @default.
- W72445426 hasConcept C2780586882 @default.
- W72445426 hasConcept C35578498 @default.
- W72445426 hasConcept C41008148 @default.
- W72445426 hasConcept C41009113 @default.
- W72445426 hasConcept C50382505 @default.
- W72445426 hasConcept C60048249 @default.
- W72445426 hasConcept C61673122 @default.
- W72445426 hasConcept C71695816 @default.
- W72445426 hasConcept C80444323 @default.
- W72445426 hasConceptScore W72445426C101230327 @default.
- W72445426 hasConceptScore W72445426C102993220 @default.
- W72445426 hasConceptScore W72445426C111472728 @default.
- W72445426 hasConceptScore W72445426C134752490 @default.
- W72445426 hasConceptScore W72445426C138885662 @default.
- W72445426 hasConceptScore W72445426C147497476 @default.
- W72445426 hasConceptScore W72445426C148792806 @default.
- W72445426 hasConceptScore W72445426C154945302 @default.
- W72445426 hasConceptScore W72445426C15657843 @default.
- W72445426 hasConceptScore W72445426C162005631 @default.
- W72445426 hasConceptScore W72445426C162324750 @default.
- W72445426 hasConceptScore W72445426C182321512 @default.
- W72445426 hasConceptScore W72445426C187736073 @default.
- W72445426 hasConceptScore W72445426C199360897 @default.
- W72445426 hasConceptScore W72445426C2129575 @default.
- W72445426 hasConceptScore W72445426C25810664 @default.
- W72445426 hasConceptScore W72445426C2777212361 @default.
- W72445426 hasConceptScore W72445426C2780451532 @default.
- W72445426 hasConceptScore W72445426C2780586882 @default.
- W72445426 hasConceptScore W72445426C35578498 @default.
- W72445426 hasConceptScore W72445426C41008148 @default.
- W72445426 hasConceptScore W72445426C41009113 @default.
- W72445426 hasConceptScore W72445426C50382505 @default.
- W72445426 hasConceptScore W72445426C60048249 @default.
- W72445426 hasConceptScore W72445426C61673122 @default.
- W72445426 hasConceptScore W72445426C71695816 @default.
- W72445426 hasConceptScore W72445426C80444323 @default.
- W72445426 hasLocation W724454261 @default.
- W72445426 hasOpenAccess W72445426 @default.
- W72445426 hasPrimaryLocation W724454261 @default.
- W72445426 hasRelatedWork W1868817428 @default.
- W72445426 hasRelatedWork W1999212743 @default.
- W72445426 hasRelatedWork W2097561026 @default.
- W72445426 hasRelatedWork W2483423859 @default.
- W72445426 hasRelatedWork W2501878697 @default.
- W72445426 hasRelatedWork W28689785 @default.
- W72445426 hasRelatedWork W3040817214 @default.
- W72445426 hasRelatedWork W3202202588 @default.
- W72445426 hasRelatedWork W72445426 @default.
- W72445426 hasRelatedWork W52398911 @default.
- W72445426 isParatext "false" @default.
- W72445426 isRetracted "false" @default.
- W72445426 magId "72445426" @default.