Matches in SemOpenAlex for { <https://semopenalex.org/work/W157414613> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W157414613 abstract "Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which queries can be answered efficiently. This precompilation step is expensive, but it only has to be performed once. We apply this technique to knowledge bases defined in the Description Logic ALC. We discuss an efficient satisfiability test as well as a subsumption test for precompiled concepts and Tboxes. Further we use the precompiled Tboxes for efficient Tbox reasoning. Finally we present first experimental results of our approach." @default.
- W157414613 created "2016-06-24" @default.
- W157414613 creator A5013030547 @default.
- W157414613 creator A5025734145 @default.
- W157414613 creator A5034820429 @default.
- W157414613 date "2009-03-16" @default.
- W157414613 modified "2023-09-26" @default.
- W157414613 title "A Knowledge Compilation Technique for ALC Tboxes" @default.
- W157414613 cites W1482585805 @default.
- W157414613 cites W1501544729 @default.
- W157414613 cites W1542417898 @default.
- W157414613 cites W1554604786 @default.
- W157414613 cites W1556295630 @default.
- W157414613 cites W1593601264 @default.
- W157414613 cites W1986660301 @default.
- W157414613 cites W2038897673 @default.
- W157414613 cites W2092544922 @default.
- W157414613 cites W2120708702 @default.
- W157414613 cites W2402993352 @default.
- W157414613 hasPublicationYear "2009" @default.
- W157414613 type Work @default.
- W157414613 sameAs 157414613 @default.
- W157414613 citedByCount "5" @default.
- W157414613 countsByYear W1574146132015 @default.
- W157414613 crossrefType "proceedings-article" @default.
- W157414613 hasAuthorship W157414613A5013030547 @default.
- W157414613 hasAuthorship W157414613A5025734145 @default.
- W157414613 hasAuthorship W157414613A5034820429 @default.
- W157414613 hasConcept C102993220 @default.
- W157414613 hasConcept C154945302 @default.
- W157414613 hasConcept C168773769 @default.
- W157414613 hasConcept C199360897 @default.
- W157414613 hasConcept C41008148 @default.
- W157414613 hasConcept C4554734 @default.
- W157414613 hasConcept C69562738 @default.
- W157414613 hasConcept C80444323 @default.
- W157414613 hasConceptScore W157414613C102993220 @default.
- W157414613 hasConceptScore W157414613C154945302 @default.
- W157414613 hasConceptScore W157414613C168773769 @default.
- W157414613 hasConceptScore W157414613C199360897 @default.
- W157414613 hasConceptScore W157414613C41008148 @default.
- W157414613 hasConceptScore W157414613C4554734 @default.
- W157414613 hasConceptScore W157414613C69562738 @default.
- W157414613 hasConceptScore W157414613C80444323 @default.
- W157414613 hasLocation W1574146131 @default.
- W157414613 hasOpenAccess W157414613 @default.
- W157414613 hasPrimaryLocation W1574146131 @default.
- W157414613 hasRelatedWork W108377115 @default.
- W157414613 hasRelatedWork W1500278962 @default.
- W157414613 hasRelatedWork W1513261665 @default.
- W157414613 hasRelatedWork W1637478387 @default.
- W157414613 hasRelatedWork W1855687801 @default.
- W157414613 hasRelatedWork W1987085672 @default.
- W157414613 hasRelatedWork W2001935498 @default.
- W157414613 hasRelatedWork W2120921192 @default.
- W157414613 hasRelatedWork W2148126695 @default.
- W157414613 hasRelatedWork W2159463330 @default.
- W157414613 hasRelatedWork W2161060960 @default.
- W157414613 hasRelatedWork W2367239977 @default.
- W157414613 hasRelatedWork W2804740741 @default.
- W157414613 hasRelatedWork W2950003574 @default.
- W157414613 hasRelatedWork W2951685722 @default.
- W157414613 hasRelatedWork W3099451540 @default.
- W157414613 hasRelatedWork W340210133 @default.
- W157414613 hasRelatedWork W36592441 @default.
- W157414613 hasRelatedWork W937842695 @default.
- W157414613 hasRelatedWork W2396306223 @default.
- W157414613 isParatext "false" @default.
- W157414613 isRetracted "false" @default.
- W157414613 magId "157414613" @default.
- W157414613 workType "article" @default.