Matches in SemOpenAlex for { <https://semopenalex.org/work/W27258760> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W27258760 endingPage "584" @default.
- W27258760 startingPage "577" @default.
- W27258760 abstract "Horn rule languages have formed the basis for many Artificial Intelligence application languages, but are not expressive enough to model domains with a rich hierarchical structure. Description logics have been designed especially to model rich hierarchies. Several applications would significantly benefit from combining the expressive power of both formalisms. This paper focuses on combining recursive function-free Horn rules with the expressive description logic ALCNR, and shows exactly when a hybrid language with decidable inference can be obtained. First, we show that several of the core constructors of description logics lead by themselves to undecidability of inference when combined with recursive function-free Horn rules. We then show that without these constructors we obtain a maximal subset of ALCNR that yields a decidable hybrid language. Finally, we describe a restriction on the Horn rules that guarantees decidable inference when combined with all of ALCNR, and covers many of the common usages of recursive rules." @default.
- W27258760 created "2016-06-24" @default.
- W27258760 creator A5030687097 @default.
- W27258760 creator A5079663061 @default.
- W27258760 date "1996-08-04" @default.
- W27258760 modified "2023-09-26" @default.
- W27258760 title "The limits on combining recursive horn rules with description logics" @default.
- W27258760 cites W1490378263 @default.
- W27258760 cites W1496545610 @default.
- W27258760 cites W1498153914 @default.
- W27258760 cites W1511284474 @default.
- W27258760 cites W1536088796 @default.
- W27258760 cites W1616151740 @default.
- W27258760 cites W1652914881 @default.
- W27258760 cites W184147274 @default.
- W27258760 cites W1970880979 @default.
- W27258760 cites W1972550579 @default.
- W27258760 cites W1992810975 @default.
- W27258760 cites W2111076108 @default.
- W27258760 cites W2118625453 @default.
- W27258760 cites W2145465694 @default.
- W27258760 cites W2151772860 @default.
- W27258760 cites W28804644 @default.
- W27258760 hasPublicationYear "1996" @default.
- W27258760 type Work @default.
- W27258760 sameAs 27258760 @default.
- W27258760 citedByCount "12" @default.
- W27258760 countsByYear W272587602015 @default.
- W27258760 crossrefType "proceedings-article" @default.
- W27258760 hasAuthorship W27258760A5030687097 @default.
- W27258760 hasAuthorship W27258760A5079663061 @default.
- W27258760 hasConcept C11413529 @default.
- W27258760 hasConcept C128838566 @default.
- W27258760 hasConcept C14036430 @default.
- W27258760 hasConcept C152076505 @default.
- W27258760 hasConcept C153269930 @default.
- W27258760 hasConcept C154945302 @default.
- W27258760 hasConcept C15744967 @default.
- W27258760 hasConcept C171018156 @default.
- W27258760 hasConcept C189790780 @default.
- W27258760 hasConcept C19417346 @default.
- W27258760 hasConcept C195818886 @default.
- W27258760 hasConcept C199360897 @default.
- W27258760 hasConcept C2524010 @default.
- W27258760 hasConcept C2776214188 @default.
- W27258760 hasConcept C2776411971 @default.
- W27258760 hasConcept C33923547 @default.
- W27258760 hasConcept C3746660 @default.
- W27258760 hasConcept C41008148 @default.
- W27258760 hasConcept C78458016 @default.
- W27258760 hasConcept C80444323 @default.
- W27258760 hasConcept C86803240 @default.
- W27258760 hasConceptScore W27258760C11413529 @default.
- W27258760 hasConceptScore W27258760C128838566 @default.
- W27258760 hasConceptScore W27258760C14036430 @default.
- W27258760 hasConceptScore W27258760C152076505 @default.
- W27258760 hasConceptScore W27258760C153269930 @default.
- W27258760 hasConceptScore W27258760C154945302 @default.
- W27258760 hasConceptScore W27258760C15744967 @default.
- W27258760 hasConceptScore W27258760C171018156 @default.
- W27258760 hasConceptScore W27258760C189790780 @default.
- W27258760 hasConceptScore W27258760C19417346 @default.
- W27258760 hasConceptScore W27258760C195818886 @default.
- W27258760 hasConceptScore W27258760C199360897 @default.
- W27258760 hasConceptScore W27258760C2524010 @default.
- W27258760 hasConceptScore W27258760C2776214188 @default.
- W27258760 hasConceptScore W27258760C2776411971 @default.
- W27258760 hasConceptScore W27258760C33923547 @default.
- W27258760 hasConceptScore W27258760C3746660 @default.
- W27258760 hasConceptScore W27258760C41008148 @default.
- W27258760 hasConceptScore W27258760C78458016 @default.
- W27258760 hasConceptScore W27258760C80444323 @default.
- W27258760 hasConceptScore W27258760C86803240 @default.
- W27258760 hasOpenAccess W27258760 @default.
- W27258760 hasRelatedWork W1493921823 @default.
- W27258760 hasRelatedWork W1498153914 @default.
- W27258760 hasRelatedWork W1514356467 @default.
- W27258760 hasRelatedWork W1536088796 @default.
- W27258760 hasRelatedWork W1537847104 @default.
- W27258760 hasRelatedWork W1555563750 @default.
- W27258760 hasRelatedWork W1587067956 @default.
- W27258760 hasRelatedWork W1860427877 @default.
- W27258760 hasRelatedWork W1998044200 @default.
- W27258760 hasRelatedWork W2013409229 @default.
- W27258760 hasRelatedWork W2034589153 @default.
- W27258760 hasRelatedWork W2053017611 @default.
- W27258760 hasRelatedWork W2059572645 @default.
- W27258760 hasRelatedWork W2090238417 @default.
- W27258760 hasRelatedWork W2097828858 @default.
- W27258760 hasRelatedWork W2389354407 @default.
- W27258760 hasRelatedWork W2972694183 @default.
- W27258760 hasRelatedWork W3046423568 @default.
- W27258760 hasRelatedWork W3132843753 @default.
- W27258760 hasRelatedWork W1791430325 @default.
- W27258760 isParatext "false" @default.
- W27258760 isRetracted "false" @default.
- W27258760 magId "27258760" @default.
- W27258760 workType "article" @default.