Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300508002> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W4300508002 abstract "Computing the most specific concept (msc) is an inference task that can be used to support the 'bottom-up' construction of knowledge bases for KR systems based on description logics. For description logics that allow for number restrictions or existential restrictions, the msc need not exist, though. Previous work on this problem has concentrated on description logics that allow for universal value restrictions and number restrictions, but not for existential restrictions. The main new contribution of this paper is the treatment of description logics with existential restrictions. More precisely, we show that, for the description logic ALE (which allows for conjunction, universal value restrictions, existential restrictions, negation of atomic concepts) the msc of an ABox-individual only exists in case of acyclic ABoxes. For cyclic ABoxes, we show how to compute an approximation of the msc. Our approach for computing the (approximation of the) msc is based on representing concept descriptions by certain trees and ABoxes by certain graphs, and then characterizing instance relationships by homomorphisms from trees into graphs. The msc/approximation operation then mainly corresponds to unraveling the graphs into trees and translating them back into concept descriptions." @default.
- W4300508002 created "2022-10-03" @default.
- W4300508002 creator A5078649392 @default.
- W4300508002 creator A5088011494 @default.
- W4300508002 date "2000-01-01" @default.
- W4300508002 modified "2023-10-16" @default.
- W4300508002 title "Computing Most Specific Concepts in Description Logics with Existential Restrictions" @default.
- W4300508002 doi "https://doi.org/10.25368/2022.108" @default.
- W4300508002 hasPublicationYear "2000" @default.
- W4300508002 type Work @default.
- W4300508002 citedByCount "1" @default.
- W4300508002 crossrefType "report" @default.
- W4300508002 hasAuthorship W4300508002A5078649392 @default.
- W4300508002 hasAuthorship W4300508002A5088011494 @default.
- W4300508002 hasBestOaLocation W43005080022 @default.
- W4300508002 hasConcept C102993220 @default.
- W4300508002 hasConcept C111472728 @default.
- W4300508002 hasConcept C118615104 @default.
- W4300508002 hasConcept C127882523 @default.
- W4300508002 hasConcept C136119220 @default.
- W4300508002 hasConcept C138885662 @default.
- W4300508002 hasConcept C154945302 @default.
- W4300508002 hasConcept C199360897 @default.
- W4300508002 hasConcept C202444582 @default.
- W4300508002 hasConcept C2185349 @default.
- W4300508002 hasConcept C2776214188 @default.
- W4300508002 hasConcept C33923547 @default.
- W4300508002 hasConcept C4042151 @default.
- W4300508002 hasConcept C41008148 @default.
- W4300508002 hasConcept C80444323 @default.
- W4300508002 hasConceptScore W4300508002C102993220 @default.
- W4300508002 hasConceptScore W4300508002C111472728 @default.
- W4300508002 hasConceptScore W4300508002C118615104 @default.
- W4300508002 hasConceptScore W4300508002C127882523 @default.
- W4300508002 hasConceptScore W4300508002C136119220 @default.
- W4300508002 hasConceptScore W4300508002C138885662 @default.
- W4300508002 hasConceptScore W4300508002C154945302 @default.
- W4300508002 hasConceptScore W4300508002C199360897 @default.
- W4300508002 hasConceptScore W4300508002C202444582 @default.
- W4300508002 hasConceptScore W4300508002C2185349 @default.
- W4300508002 hasConceptScore W4300508002C2776214188 @default.
- W4300508002 hasConceptScore W4300508002C33923547 @default.
- W4300508002 hasConceptScore W4300508002C4042151 @default.
- W4300508002 hasConceptScore W4300508002C41008148 @default.
- W4300508002 hasConceptScore W4300508002C80444323 @default.
- W4300508002 hasLocation W43005080021 @default.
- W4300508002 hasLocation W43005080022 @default.
- W4300508002 hasOpenAccess W4300508002 @default.
- W4300508002 hasPrimaryLocation W43005080021 @default.
- W4300508002 hasRelatedWork W1536607724 @default.
- W4300508002 hasRelatedWork W1555104517 @default.
- W4300508002 hasRelatedWork W1823181550 @default.
- W4300508002 hasRelatedWork W1995303874 @default.
- W4300508002 hasRelatedWork W2118398594 @default.
- W4300508002 hasRelatedWork W2359637256 @default.
- W4300508002 hasRelatedWork W2390908144 @default.
- W4300508002 hasRelatedWork W29484930 @default.
- W4300508002 hasRelatedWork W3134625280 @default.
- W4300508002 hasRelatedWork W4300508002 @default.
- W4300508002 isParatext "false" @default.
- W4300508002 isRetracted "false" @default.
- W4300508002 workType "report" @default.