Matches in SemOpenAlex for { <https://semopenalex.org/work/W1608269966> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1608269966 abstract "We present a reasoning procedure for ontologies with uncertainty described in Description Logic (DL) which include General TBoxes, i.e., include cycles and General Concept Inclusions (GCIs). For this, we consider the description language ${{cal{ALC}}_U}$, in which uncertainty parameters are associated with ABoxes and TBoxes, and which allows General TBoxes. Using this language as a basis, we then present a tableau algorithm which encodes the semantics of the input knowledge base as a set of assertions and linear and/or nonlinear arithmetic constraints on certainty variables. By tuning the uncertainty parameters in the knowledge base, different notions of uncertainty can be modeled and reasoned with, within the same framework. Our reasoning procedure is deterministic, and hence avoids possible empirical intractability in standard DL with General TBoxes. We further illustrate the need for blocking when reasoning with General TBoxes in the context of ${{cal{ALC}}_U}$." @default.
- W1608269966 created "2016-06-24" @default.
- W1608269966 creator A5037865289 @default.
- W1608269966 creator A5071571704 @default.
- W1608269966 creator A5062395792 @default.
- W1608269966 date "2008-01-01" @default.
- W1608269966 modified "2023-10-18" @default.
- W1608269966 title "Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic" @default.
- W1608269966 cites W1516482594 @default.
- W1608269966 cites W1906763968 @default.
- W1608269966 cites W1998637316 @default.
- W1608269966 cites W2103444877 @default.
- W1608269966 cites W2167289276 @default.
- W1608269966 cites W2171279236 @default.
- W1608269966 doi "https://doi.org/10.1007/978-3-540-89765-1_22" @default.
- W1608269966 hasPublicationYear "2008" @default.
- W1608269966 type Work @default.
- W1608269966 sameAs 1608269966 @default.
- W1608269966 citedByCount "6" @default.
- W1608269966 countsByYear W16082699662012 @default.
- W1608269966 countsByYear W16082699662016 @default.
- W1608269966 crossrefType "book-chapter" @default.
- W1608269966 hasAuthorship W1608269966A5037865289 @default.
- W1608269966 hasAuthorship W1608269966A5062395792 @default.
- W1608269966 hasAuthorship W1608269966A5071571704 @default.
- W1608269966 hasBestOaLocation W16082699662 @default.
- W1608269966 hasConcept C102993220 @default.
- W1608269966 hasConcept C111472728 @default.
- W1608269966 hasConcept C11413529 @default.
- W1608269966 hasConcept C134306372 @default.
- W1608269966 hasConcept C138885662 @default.
- W1608269966 hasConcept C151730666 @default.
- W1608269966 hasConcept C154945302 @default.
- W1608269966 hasConcept C177264268 @default.
- W1608269966 hasConcept C184337299 @default.
- W1608269966 hasConcept C199360897 @default.
- W1608269966 hasConcept C204321447 @default.
- W1608269966 hasConcept C25810664 @default.
- W1608269966 hasConcept C2779343474 @default.
- W1608269966 hasConcept C33923547 @default.
- W1608269966 hasConcept C41008148 @default.
- W1608269966 hasConcept C42058472 @default.
- W1608269966 hasConcept C4554734 @default.
- W1608269966 hasConcept C80444323 @default.
- W1608269966 hasConcept C86803240 @default.
- W1608269966 hasConceptScore W1608269966C102993220 @default.
- W1608269966 hasConceptScore W1608269966C111472728 @default.
- W1608269966 hasConceptScore W1608269966C11413529 @default.
- W1608269966 hasConceptScore W1608269966C134306372 @default.
- W1608269966 hasConceptScore W1608269966C138885662 @default.
- W1608269966 hasConceptScore W1608269966C151730666 @default.
- W1608269966 hasConceptScore W1608269966C154945302 @default.
- W1608269966 hasConceptScore W1608269966C177264268 @default.
- W1608269966 hasConceptScore W1608269966C184337299 @default.
- W1608269966 hasConceptScore W1608269966C199360897 @default.
- W1608269966 hasConceptScore W1608269966C204321447 @default.
- W1608269966 hasConceptScore W1608269966C25810664 @default.
- W1608269966 hasConceptScore W1608269966C2779343474 @default.
- W1608269966 hasConceptScore W1608269966C33923547 @default.
- W1608269966 hasConceptScore W1608269966C41008148 @default.
- W1608269966 hasConceptScore W1608269966C42058472 @default.
- W1608269966 hasConceptScore W1608269966C4554734 @default.
- W1608269966 hasConceptScore W1608269966C80444323 @default.
- W1608269966 hasConceptScore W1608269966C86803240 @default.
- W1608269966 hasLocation W16082699661 @default.
- W1608269966 hasLocation W16082699662 @default.
- W1608269966 hasOpenAccess W1608269966 @default.
- W1608269966 hasPrimaryLocation W16082699661 @default.
- W1608269966 hasRelatedWork W1537126384 @default.
- W1608269966 hasRelatedWork W1581660190 @default.
- W1608269966 hasRelatedWork W1830094896 @default.
- W1608269966 hasRelatedWork W1975174578 @default.
- W1608269966 hasRelatedWork W2035026367 @default.
- W1608269966 hasRelatedWork W2170486607 @default.
- W1608269966 hasRelatedWork W2376314740 @default.
- W1608269966 hasRelatedWork W2393185060 @default.
- W1608269966 hasRelatedWork W2477087992 @default.
- W1608269966 hasRelatedWork W942239141 @default.
- W1608269966 isParatext "false" @default.
- W1608269966 isRetracted "false" @default.
- W1608269966 magId "1608269966" @default.
- W1608269966 workType "book-chapter" @default.