Matches in SemOpenAlex for { <https://semopenalex.org/work/W2406486770> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2406486770 abstract "Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ([MR03],[DH05]), for which queries can be answered efficiently. This precompilation step is very expensive but it only has to be performed once. We propose to apply this technique to knowledge bases defined in Description Logics. For this, we introduce a normal form, called linkless concept descriptions, for ALC concepts. Further we present an algorithm, based on path dissolution, which can be used to transform a given concept description into an equivalent linkless concept description. Finally we discuss a linear satisfiability test as well as a subsumption test for linkless concept descriptions." @default.
- W2406486770 created "2016-06-24" @default.
- W2406486770 creator A5013030547 @default.
- W2406486770 creator A5025734145 @default.
- W2406486770 date "2007-07-06" @default.
- W2406486770 modified "2023-09-26" @default.
- W2406486770 title "Knowledge compilation for description logics" @default.
- W2406486770 cites W1495854491 @default.
- W2406486770 cites W1498246191 @default.
- W2406486770 cites W1501544729 @default.
- W2406486770 cites W1554604786 @default.
- W2406486770 cites W1556295630 @default.
- W2406486770 cites W1562643156 @default.
- W2406486770 cites W1614615401 @default.
- W2406486770 cites W1719770966 @default.
- W2406486770 cites W1763250141 @default.
- W2406486770 cites W1787533370 @default.
- W2406486770 cites W1809072088 @default.
- W2406486770 cites W1813202136 @default.
- W2406486770 cites W1903170798 @default.
- W2406486770 cites W1986660301 @default.
- W2406486770 cites W2002792899 @default.
- W2406486770 cites W2020514031 @default.
- W2406486770 cites W2038897673 @default.
- W2406486770 cites W2074639050 @default.
- W2406486770 cites W2092544922 @default.
- W2406486770 cites W2417621659 @default.
- W2406486770 cites W9945751 @default.
- W2406486770 hasPublicationYear "2007" @default.
- W2406486770 type Work @default.
- W2406486770 sameAs 2406486770 @default.
- W2406486770 citedByCount "2" @default.
- W2406486770 countsByYear W24064867702015 @default.
- W2406486770 crossrefType "journal-article" @default.
- W2406486770 hasAuthorship W2406486770A5013030547 @default.
- W2406486770 hasAuthorship W2406486770A5025734145 @default.
- W2406486770 hasConcept C102993220 @default.
- W2406486770 hasConcept C11413529 @default.
- W2406486770 hasConcept C14523651 @default.
- W2406486770 hasConcept C154945302 @default.
- W2406486770 hasConcept C168773769 @default.
- W2406486770 hasConcept C199360897 @default.
- W2406486770 hasConcept C2777735758 @default.
- W2406486770 hasConcept C33203268 @default.
- W2406486770 hasConcept C41008148 @default.
- W2406486770 hasConcept C4554734 @default.
- W2406486770 hasConcept C69562738 @default.
- W2406486770 hasConcept C80444323 @default.
- W2406486770 hasConceptScore W2406486770C102993220 @default.
- W2406486770 hasConceptScore W2406486770C11413529 @default.
- W2406486770 hasConceptScore W2406486770C14523651 @default.
- W2406486770 hasConceptScore W2406486770C154945302 @default.
- W2406486770 hasConceptScore W2406486770C168773769 @default.
- W2406486770 hasConceptScore W2406486770C199360897 @default.
- W2406486770 hasConceptScore W2406486770C2777735758 @default.
- W2406486770 hasConceptScore W2406486770C33203268 @default.
- W2406486770 hasConceptScore W2406486770C41008148 @default.
- W2406486770 hasConceptScore W2406486770C4554734 @default.
- W2406486770 hasConceptScore W2406486770C69562738 @default.
- W2406486770 hasConceptScore W2406486770C80444323 @default.
- W2406486770 hasLocation W24064867701 @default.
- W2406486770 hasOpenAccess W2406486770 @default.
- W2406486770 hasPrimaryLocation W24064867701 @default.
- W2406486770 hasRelatedWork W1502110353 @default.
- W2406486770 hasRelatedWork W1537193727 @default.
- W2406486770 hasRelatedWork W1538613579 @default.
- W2406486770 hasRelatedWork W1577354412 @default.
- W2406486770 hasRelatedWork W1757790192 @default.
- W2406486770 hasRelatedWork W1769188712 @default.
- W2406486770 hasRelatedWork W1976055110 @default.
- W2406486770 hasRelatedWork W22858564 @default.
- W2406486770 hasRelatedWork W2293595599 @default.
- W2406486770 hasRelatedWork W2394927100 @default.
- W2406486770 hasRelatedWork W2395554465 @default.
- W2406486770 hasRelatedWork W2542526237 @default.
- W2406486770 hasRelatedWork W2602017964 @default.
- W2406486770 hasRelatedWork W2888355956 @default.
- W2406486770 hasRelatedWork W2904029284 @default.
- W2406486770 hasRelatedWork W3021599317 @default.
- W2406486770 hasRelatedWork W3123279746 @default.
- W2406486770 hasRelatedWork W3210324698 @default.
- W2406486770 hasRelatedWork W194864983 @default.
- W2406486770 hasRelatedWork W3140096249 @default.
- W2406486770 isParatext "false" @default.
- W2406486770 isRetracted "false" @default.
- W2406486770 magId "2406486770" @default.
- W2406486770 workType "article" @default.