Matches in SemOpenAlex for { <https://semopenalex.org/work/W96688659> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W96688659 abstract "Applications of description logics (DLs) often require the representation of and reasoning with structured objects—that is, objects composed of parts connected in complex ways. Although DLs are general and powerful languages, they cannot describe arbitrarily connected structures. The description of structured objects in DLs can thus be underconstrained, which reduces the number of entailments and can even cause performance problems for reasoning. Hence, we propose an extension of DLs with description graphs, which allow structured objects to be described in a simple and precise way. To represent conditional aspects of the domain, we also allow for Horn rules over description graphs. Extending DLs with axioms that can enforce arbitrary structures easily leads to undecidability [5]. Our formalism, however, is decidable because it can represent only structured objects whose number of parts is bounded. In practice, structured objects are usually modeled up to a certain level of granularity, which naturally determines this bound. We present a reasoning algorithm for the case where the DL part is expressed in SHIQ [3]. We thus obtain a powerful, decidable, and practicable language that combines two complementary formalisms: unbounded but tree-like structures can be described using standard DL axioms, and the naturally bounded structured parts can be described using arbitrarily connected description graphs and rules. Due to lack of space, we cannot present the correctness proofs in this paper; we refer the interested reader to [6]. We have implemented our procedure in the HermiT reasoner. Furthermore, we have extracted description graphs from the GALEN and FMA ontologies, classified them successfully, and even detected a modeling error in GALEN." @default.
- W96688659 created "2016-06-24" @default.
- W96688659 creator A5023732514 @default.
- W96688659 creator A5072391425 @default.
- W96688659 creator A5077636035 @default.
- W96688659 date "2008-01-01" @default.
- W96688659 modified "2023-09-26" @default.
- W96688659 title "The Representation of Structured Objects in DLs using Description Graphs" @default.
- W96688659 cites W11793264 @default.
- W96688659 cites W1481151322 @default.
- W96688659 cites W1481181327 @default.
- W96688659 cites W1678959094 @default.
- W96688659 cites W2059572645 @default.
- W96688659 cites W2109003533 @default.
- W96688659 cites W2130468043 @default.
- W96688659 cites W2165108943 @default.
- W96688659 cites W2175390224 @default.
- W96688659 cites W1791430325 @default.
- W96688659 hasPublicationYear "2008" @default.
- W96688659 type Work @default.
- W96688659 sameAs 96688659 @default.
- W96688659 citedByCount "1" @default.
- W96688659 crossrefType "journal-article" @default.
- W96688659 hasAuthorship W96688659A5023732514 @default.
- W96688659 hasAuthorship W96688659A5072391425 @default.
- W96688659 hasAuthorship W96688659A5077636035 @default.
- W96688659 hasConcept C102993220 @default.
- W96688659 hasConcept C11413529 @default.
- W96688659 hasConcept C134306372 @default.
- W96688659 hasConcept C153269930 @default.
- W96688659 hasConcept C167729594 @default.
- W96688659 hasConcept C171018156 @default.
- W96688659 hasConcept C17744445 @default.
- W96688659 hasConcept C199539241 @default.
- W96688659 hasConcept C2524010 @default.
- W96688659 hasConcept C2776359362 @default.
- W96688659 hasConcept C2776493592 @default.
- W96688659 hasConcept C33923547 @default.
- W96688659 hasConcept C34388435 @default.
- W96688659 hasConcept C41008148 @default.
- W96688659 hasConcept C55439883 @default.
- W96688659 hasConcept C80444323 @default.
- W96688659 hasConcept C94625758 @default.
- W96688659 hasConceptScore W96688659C102993220 @default.
- W96688659 hasConceptScore W96688659C11413529 @default.
- W96688659 hasConceptScore W96688659C134306372 @default.
- W96688659 hasConceptScore W96688659C153269930 @default.
- W96688659 hasConceptScore W96688659C167729594 @default.
- W96688659 hasConceptScore W96688659C171018156 @default.
- W96688659 hasConceptScore W96688659C17744445 @default.
- W96688659 hasConceptScore W96688659C199539241 @default.
- W96688659 hasConceptScore W96688659C2524010 @default.
- W96688659 hasConceptScore W96688659C2776359362 @default.
- W96688659 hasConceptScore W96688659C2776493592 @default.
- W96688659 hasConceptScore W96688659C33923547 @default.
- W96688659 hasConceptScore W96688659C34388435 @default.
- W96688659 hasConceptScore W96688659C41008148 @default.
- W96688659 hasConceptScore W96688659C55439883 @default.
- W96688659 hasConceptScore W96688659C80444323 @default.
- W96688659 hasConceptScore W96688659C94625758 @default.
- W96688659 hasLocation W966886591 @default.
- W96688659 hasOpenAccess W96688659 @default.
- W96688659 hasPrimaryLocation W966886591 @default.
- W96688659 hasRelatedWork W148357932 @default.
- W96688659 hasRelatedWork W1523480273 @default.
- W96688659 hasRelatedWork W1574889834 @default.
- W96688659 hasRelatedWork W1756261508 @default.
- W96688659 hasRelatedWork W192326219 @default.
- W96688659 hasRelatedWork W2095776241 @default.
- W96688659 hasRelatedWork W2188226105 @default.
- W96688659 hasRelatedWork W2294320291 @default.
- W96688659 hasRelatedWork W2480402062 @default.
- W96688659 hasRelatedWork W2549990372 @default.
- W96688659 hasRelatedWork W2756441516 @default.
- W96688659 hasRelatedWork W2810857094 @default.
- W96688659 hasRelatedWork W2883853180 @default.
- W96688659 hasRelatedWork W2955656044 @default.
- W96688659 hasRelatedWork W2969573567 @default.
- W96688659 hasRelatedWork W311328313 @default.
- W96688659 hasRelatedWork W3185529913 @default.
- W96688659 hasRelatedWork W74015016 @default.
- W96688659 hasRelatedWork W2736506533 @default.
- W96688659 hasRelatedWork W3144145659 @default.
- W96688659 isParatext "false" @default.
- W96688659 isRetracted "false" @default.
- W96688659 magId "96688659" @default.
- W96688659 workType "article" @default.