Matches in SemOpenAlex for { <https://semopenalex.org/work/W1487971144> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1487971144 endingPage "197" @default.
- W1487971144 startingPage "183" @default.
- W1487971144 abstract "Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely combines a Description Logic (DL) ontology with a non-monotonic logic program (LP) such that dedicated atoms in the LP, called DL-atoms, allow for a bidirectional flow of knowledge between the two components. Unfortunately, the information sent from the LP-part to the DL-part might cause an inconsistency in the latter, leading to the trivial satisfaction of every query. As a consequence, in such a case, the answer sets that define the semantics of the DL-program may contain spoiled information influencing the overall deduction. For avoiding unintuitive answer sets, we introduce a refined semantics for DL-programs that is sensitive for inconsistency caused by the combination of DL and LP, and dynamically deactivates rules whenever such an inconsistency would arise. We analyze the complexity of the new semantics, discuss implementational issues and introduce a notion of stratification that guarantees uniqueness of answer sets." @default.
- W1487971144 created "2016-06-24" @default.
- W1487971144 creator A5054366195 @default.
- W1487971144 creator A5057002563 @default.
- W1487971144 creator A5082178480 @default.
- W1487971144 date "2010-01-01" @default.
- W1487971144 modified "2023-10-17" @default.
- W1487971144 title "Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs" @default.
- W1487971144 cites W1501276147 @default.
- W1487971144 cites W1600046366 @default.
- W1487971144 cites W1606891084 @default.
- W1487971144 cites W1990890881 @default.
- W1487971144 cites W2000353554 @default.
- W1487971144 cites W2084130127 @default.
- W1487971144 cites W2100983017 @default.
- W1487971144 cites W2105869173 @default.
- W1487971144 doi "https://doi.org/10.1007/978-3-642-13486-9_13" @default.
- W1487971144 hasPublicationYear "2010" @default.
- W1487971144 type Work @default.
- W1487971144 sameAs 1487971144 @default.
- W1487971144 citedByCount "20" @default.
- W1487971144 countsByYear W14879711442012 @default.
- W1487971144 countsByYear W14879711442013 @default.
- W1487971144 countsByYear W14879711442014 @default.
- W1487971144 countsByYear W14879711442016 @default.
- W1487971144 countsByYear W14879711442017 @default.
- W1487971144 countsByYear W14879711442018 @default.
- W1487971144 countsByYear W14879711442022 @default.
- W1487971144 crossrefType "book-chapter" @default.
- W1487971144 hasAuthorship W1487971144A5054366195 @default.
- W1487971144 hasAuthorship W1487971144A5057002563 @default.
- W1487971144 hasAuthorship W1487971144A5082178480 @default.
- W1487971144 hasBestOaLocation W14879711441 @default.
- W1487971144 hasConcept C102993220 @default.
- W1487971144 hasConcept C111472728 @default.
- W1487971144 hasConcept C138885662 @default.
- W1487971144 hasConcept C151730666 @default.
- W1487971144 hasConcept C184337299 @default.
- W1487971144 hasConcept C199360897 @default.
- W1487971144 hasConcept C2129575 @default.
- W1487971144 hasConcept C23123220 @default.
- W1487971144 hasConcept C25810664 @default.
- W1487971144 hasConcept C2779343474 @default.
- W1487971144 hasConcept C41008148 @default.
- W1487971144 hasConcept C80444323 @default.
- W1487971144 hasConcept C86803240 @default.
- W1487971144 hasConceptScore W1487971144C102993220 @default.
- W1487971144 hasConceptScore W1487971144C111472728 @default.
- W1487971144 hasConceptScore W1487971144C138885662 @default.
- W1487971144 hasConceptScore W1487971144C151730666 @default.
- W1487971144 hasConceptScore W1487971144C184337299 @default.
- W1487971144 hasConceptScore W1487971144C199360897 @default.
- W1487971144 hasConceptScore W1487971144C2129575 @default.
- W1487971144 hasConceptScore W1487971144C23123220 @default.
- W1487971144 hasConceptScore W1487971144C25810664 @default.
- W1487971144 hasConceptScore W1487971144C2779343474 @default.
- W1487971144 hasConceptScore W1487971144C41008148 @default.
- W1487971144 hasConceptScore W1487971144C80444323 @default.
- W1487971144 hasConceptScore W1487971144C86803240 @default.
- W1487971144 hasLocation W14879711441 @default.
- W1487971144 hasOpenAccess W1487971144 @default.
- W1487971144 hasPrimaryLocation W14879711441 @default.
- W1487971144 hasRelatedWork W1527862632 @default.
- W1487971144 hasRelatedWork W1532058475 @default.
- W1487971144 hasRelatedWork W1652311832 @default.
- W1487971144 hasRelatedWork W2118300983 @default.
- W1487971144 hasRelatedWork W2135396778 @default.
- W1487971144 hasRelatedWork W2243428364 @default.
- W1487971144 hasRelatedWork W2462453872 @default.
- W1487971144 hasRelatedWork W3207171446 @default.
- W1487971144 hasRelatedWork W4243252198 @default.
- W1487971144 hasRelatedWork W4245713008 @default.
- W1487971144 isParatext "false" @default.
- W1487971144 isRetracted "false" @default.
- W1487971144 magId "1487971144" @default.
- W1487971144 workType "book-chapter" @default.