Matches in SemOpenAlex for { <https://semopenalex.org/work/W56664686> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W56664686 endingPage "91" @default.
- W56664686 startingPage "87" @default.
- W56664686 abstract "Description Logics (DLs) are distinguished by a num-ber of characteristics, including decidable reasoning al-gorithms for tasks such as subsumption and consistencychecking. The desire for terminating, even efficient, rea-soning procedures has led to two alternative approachesto DL system design: complete reasoning for expressivelylimited languages, and incomplete reasoning for richerlanguages. The obvious problem with the first approach([8]) is that in many applications one would want to ex-press concepts that cannot be captured. The problemwith the second approach is that the language imple-menter chooses the subset of inferences to be performedonce and for all, and must then characterize this to sys-tem users. It seems unlikely that the designer’s choiceswill be appropriate for all applications.There are forces driving extensions of DLs. Forexample, many application designers are not contentwith simple individuals related by roles; they needto reason with complicated objects related in complexways. There have been proposals for extending DLswith plans (whose instances are sequences of action in-dividuals) [7], temporal values [13], mathematical ob-jects (real numbers with inequality, tuples, etc.) [2;9] and other data types. Furthermore, because of userdemand, many practical DL systems (e.g., LOOM, CLAS-SIC, BACK) have introduced concept constructors for de-scribing ranges of integers. We observe however thatthese languages do not have concept constructors fordealing with strings, dates, and other kinds of objects.And any decision on which of these to support will alsobe quite arbitrary.For these reasons, it seems useful to provide a facilityto add arbitrary new concept constructors to a language,and to be able to extend the reasoning of the system tocover these new constructors. This is especially true forCLASSIC, which takes a relatively extreme position onlimiting the set of concept constructors provided, disal-lowing disjunction and existential quantifiers, for exam-ple.*Supported in part by NSF grant IRI91-19310." @default.
- W56664686 created "2016-06-24" @default.
- W56664686 creator A5013856766 @default.
- W56664686 creator A5043699777 @default.
- W56664686 creator A5091212723 @default.
- W56664686 date "1996-01-01" @default.
- W56664686 modified "2023-09-24" @default.
- W56664686 title "Reasoning with Black Boxes: Handling Test Concepts in CLASSIC" @default.
- W56664686 cites W1492175084 @default.
- W56664686 cites W1823516517 @default.
- W56664686 cites W1860690667 @default.
- W56664686 cites W1979546915 @default.
- W56664686 cites W2104806676 @default.
- W56664686 hasPublicationYear "1996" @default.
- W56664686 type Work @default.
- W56664686 sameAs 56664686 @default.
- W56664686 citedByCount "4" @default.
- W56664686 crossrefType "journal-article" @default.
- W56664686 hasAuthorship W56664686A5013856766 @default.
- W56664686 hasAuthorship W56664686A5043699777 @default.
- W56664686 hasAuthorship W56664686A5091212723 @default.
- W56664686 hasConcept C102993220 @default.
- W56664686 hasConcept C111472728 @default.
- W56664686 hasConcept C118615104 @default.
- W56664686 hasConcept C118930307 @default.
- W56664686 hasConcept C121332964 @default.
- W56664686 hasConcept C138885662 @default.
- W56664686 hasConcept C153269930 @default.
- W56664686 hasConcept C154945302 @default.
- W56664686 hasConcept C199360897 @default.
- W56664686 hasConcept C2778584943 @default.
- W56664686 hasConcept C2780586882 @default.
- W56664686 hasConcept C2780791683 @default.
- W56664686 hasConcept C33923547 @default.
- W56664686 hasConcept C41008148 @default.
- W56664686 hasConcept C62520636 @default.
- W56664686 hasConcept C80444323 @default.
- W56664686 hasConceptScore W56664686C102993220 @default.
- W56664686 hasConceptScore W56664686C111472728 @default.
- W56664686 hasConceptScore W56664686C118615104 @default.
- W56664686 hasConceptScore W56664686C118930307 @default.
- W56664686 hasConceptScore W56664686C121332964 @default.
- W56664686 hasConceptScore W56664686C138885662 @default.
- W56664686 hasConceptScore W56664686C153269930 @default.
- W56664686 hasConceptScore W56664686C154945302 @default.
- W56664686 hasConceptScore W56664686C199360897 @default.
- W56664686 hasConceptScore W56664686C2778584943 @default.
- W56664686 hasConceptScore W56664686C2780586882 @default.
- W56664686 hasConceptScore W56664686C2780791683 @default.
- W56664686 hasConceptScore W56664686C33923547 @default.
- W56664686 hasConceptScore W56664686C41008148 @default.
- W56664686 hasConceptScore W56664686C62520636 @default.
- W56664686 hasConceptScore W56664686C80444323 @default.
- W56664686 hasLocation W566646861 @default.
- W56664686 hasOpenAccess W56664686 @default.
- W56664686 hasPrimaryLocation W566646861 @default.
- W56664686 hasRelatedWork W111146259 @default.
- W56664686 hasRelatedWork W1499051562 @default.
- W56664686 hasRelatedWork W1588876385 @default.
- W56664686 hasRelatedWork W1627185756 @default.
- W56664686 hasRelatedWork W1860690667 @default.
- W56664686 hasRelatedWork W1971428581 @default.
- W56664686 hasRelatedWork W2062554483 @default.
- W56664686 hasRelatedWork W2132353952 @default.
- W56664686 hasRelatedWork W2141447233 @default.
- W56664686 hasRelatedWork W2400112668 @default.
- W56664686 hasRelatedWork W2400940302 @default.
- W56664686 hasRelatedWork W2402633388 @default.
- W56664686 hasRelatedWork W2403204558 @default.
- W56664686 hasRelatedWork W2406874399 @default.
- W56664686 hasRelatedWork W2778653392 @default.
- W56664686 hasRelatedWork W2911538936 @default.
- W56664686 hasRelatedWork W2949075068 @default.
- W56664686 hasRelatedWork W2980961330 @default.
- W56664686 hasRelatedWork W3144608739 @default.
- W56664686 hasRelatedWork W3186810523 @default.
- W56664686 isParatext "false" @default.
- W56664686 isRetracted "false" @default.
- W56664686 magId "56664686" @default.
- W56664686 workType "article" @default.