Matches in SemOpenAlex for { <https://semopenalex.org/work/W1556295630> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1556295630 endingPage "374" @default.
- W1556295630 startingPage "329" @default.
- W1556295630 abstract "This chapter will discuss the implementation of the reasoning services which form the core of DL-based knowledge representation systems. To be useful in realistic applications, such systems need both expressive logics and fast reasoners. As expressive logics inevitably have high worst-case complexities, this can only be achieved by employing highly optimized implementations of suitable reasoning algorithms. Systems based on such implementations have demonstrated that they can perform well with problems that occur in realistic applications, including problems where unoptimized reasoning is hopelessly intractable." @default.
- W1556295630 created "2016-06-24" @default.
- W1556295630 creator A5060350556 @default.
- W1556295630 date "2007-08-09" @default.
- W1556295630 modified "2023-10-14" @default.
- W1556295630 title "Implementation and Optimization Techniques" @default.
- W1556295630 cites W139763282 @default.
- W1556295630 cites W1487785655 @default.
- W1556295630 cites W1494902711 @default.
- W1556295630 cites W149704172 @default.
- W1556295630 cites W1503159836 @default.
- W1556295630 cites W1514949230 @default.
- W1556295630 cites W1516517638 @default.
- W1556295630 cites W1536088796 @default.
- W1556295630 cites W1554604786 @default.
- W1556295630 cites W1555569636 @default.
- W1556295630 cites W1559438333 @default.
- W1556295630 cites W1578007245 @default.
- W1556295630 cites W1578780470 @default.
- W1556295630 cites W1596013090 @default.
- W1556295630 cites W1601383106 @default.
- W1556295630 cites W1605860778 @default.
- W1556295630 cites W1782556680 @default.
- W1556295630 cites W1860592703 @default.
- W1556295630 cites W1964664152 @default.
- W1556295630 cites W1979546915 @default.
- W1556295630 cites W1982030536 @default.
- W1556295630 cites W1999734274 @default.
- W1556295630 cites W2002792899 @default.
- W1556295630 cites W2013409229 @default.
- W1556295630 cites W2015932695 @default.
- W1556295630 cites W2057361103 @default.
- W1556295630 cites W2057513565 @default.
- W1556295630 cites W2074639050 @default.
- W1556295630 cites W2126755595 @default.
- W1556295630 cites W2132353952 @default.
- W1556295630 cites W2140119619 @default.
- W1556295630 cites W2155246250 @default.
- W1556295630 cites W2159525276 @default.
- W1556295630 cites W235747613 @default.
- W1556295630 cites W2913258176 @default.
- W1556295630 cites W311418300 @default.
- W1556295630 cites W49348299 @default.
- W1556295630 cites W80737574 @default.
- W1556295630 cites W114808998 @default.
- W1556295630 cites W163349065 @default.
- W1556295630 cites W1635994358 @default.
- W1556295630 doi "https://doi.org/10.1017/cbo9780511711787.011" @default.
- W1556295630 hasPublicationYear "2007" @default.
- W1556295630 type Work @default.
- W1556295630 sameAs 1556295630 @default.
- W1556295630 citedByCount "24" @default.
- W1556295630 countsByYear W15562956302012 @default.
- W1556295630 countsByYear W15562956302013 @default.
- W1556295630 countsByYear W15562956302014 @default.
- W1556295630 countsByYear W15562956302016 @default.
- W1556295630 crossrefType "book-chapter" @default.
- W1556295630 hasAuthorship W1556295630A5060350556 @default.
- W1556295630 hasConcept C41008148 @default.
- W1556295630 hasConceptScore W1556295630C41008148 @default.
- W1556295630 hasLocation W15562956301 @default.
- W1556295630 hasOpenAccess W1556295630 @default.
- W1556295630 hasPrimaryLocation W15562956301 @default.
- W1556295630 hasRelatedWork W2049775471 @default.
- W1556295630 hasRelatedWork W2093578348 @default.
- W1556295630 hasRelatedWork W2350741829 @default.
- W1556295630 hasRelatedWork W2358668433 @default.
- W1556295630 hasRelatedWork W2376932109 @default.
- W1556295630 hasRelatedWork W2382290278 @default.
- W1556295630 hasRelatedWork W2390279801 @default.
- W1556295630 hasRelatedWork W2748952813 @default.
- W1556295630 hasRelatedWork W2899084033 @default.
- W1556295630 hasRelatedWork W2530322880 @default.
- W1556295630 isParatext "false" @default.
- W1556295630 isRetracted "false" @default.
- W1556295630 magId "1556295630" @default.
- W1556295630 workType "book-chapter" @default.