Matches in SemOpenAlex for { <https://semopenalex.org/work/W9908278> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W9908278 abstract "Description Logics are a family of very expressive logics but some forms of knowledge are much more intuitive to formulate otherwise, say, as rules. Rules in DL can be dealt with two approaches: (i) use rules as they are knowing that it leads to undecidability. (ii) or make the rules DL-safe, which will restrict their semantic impact and, e.g., loose the nice “car owners are engine owners” inference. Here, we offer a third possibility: we rewrite the rule, if it satisfies certain restrictions, into a set of axioms which preserves the nice inferences. In this paper, we describe the rewriting technique and prove that it does really preserve the semantics of the rule. We have implemented the rewriting algorithm and have practical results." @default.
- W9908278 created "2016-06-24" @default.
- W9908278 creator A5014253249 @default.
- W9908278 creator A5071571704 @default.
- W9908278 creator A5072391425 @default.
- W9908278 date "2008-01-01" @default.
- W9908278 modified "2023-09-26" @default.
- W9908278 title "Rewriting Rules into SROIQ Axioms." @default.
- W9908278 cites W1481181327 @default.
- W9908278 cites W1555563750 @default.
- W9908278 cites W1562643504 @default.
- W9908278 cites W1573440853 @default.
- W9908278 cites W1678959094 @default.
- W9908278 cites W2572603598 @default.
- W9908278 hasPublicationYear "2008" @default.
- W9908278 type Work @default.
- W9908278 sameAs 9908278 @default.
- W9908278 citedByCount "13" @default.
- W9908278 countsByYear W99082782015 @default.
- W9908278 countsByYear W99082782016 @default.
- W9908278 crossrefType "journal-article" @default.
- W9908278 hasAuthorship W9908278A5014253249 @default.
- W9908278 hasAuthorship W9908278A5071571704 @default.
- W9908278 hasAuthorship W9908278A5072391425 @default.
- W9908278 hasConcept C154690210 @default.
- W9908278 hasConcept C154945302 @default.
- W9908278 hasConcept C167729594 @default.
- W9908278 hasConcept C177264268 @default.
- W9908278 hasConcept C184337299 @default.
- W9908278 hasConcept C199360897 @default.
- W9908278 hasConcept C2524010 @default.
- W9908278 hasConcept C2776214188 @default.
- W9908278 hasConcept C33923547 @default.
- W9908278 hasConcept C3746660 @default.
- W9908278 hasConcept C41008148 @default.
- W9908278 hasConcept C80444323 @default.
- W9908278 hasConceptScore W9908278C154690210 @default.
- W9908278 hasConceptScore W9908278C154945302 @default.
- W9908278 hasConceptScore W9908278C167729594 @default.
- W9908278 hasConceptScore W9908278C177264268 @default.
- W9908278 hasConceptScore W9908278C184337299 @default.
- W9908278 hasConceptScore W9908278C199360897 @default.
- W9908278 hasConceptScore W9908278C2524010 @default.
- W9908278 hasConceptScore W9908278C2776214188 @default.
- W9908278 hasConceptScore W9908278C33923547 @default.
- W9908278 hasConceptScore W9908278C3746660 @default.
- W9908278 hasConceptScore W9908278C41008148 @default.
- W9908278 hasConceptScore W9908278C80444323 @default.
- W9908278 hasLocation W99082781 @default.
- W9908278 hasOpenAccess W9908278 @default.
- W9908278 hasPrimaryLocation W99082781 @default.
- W9908278 hasRelatedWork W103919619 @default.
- W9908278 hasRelatedWork W1555563750 @default.
- W9908278 hasRelatedWork W1559211365 @default.
- W9908278 hasRelatedWork W1566515619 @default.
- W9908278 hasRelatedWork W1587067956 @default.
- W9908278 hasRelatedWork W1590363793 @default.
- W9908278 hasRelatedWork W1678959094 @default.
- W9908278 hasRelatedWork W2053867970 @default.
- W9908278 hasRelatedWork W2059572645 @default.
- W9908278 hasRelatedWork W2116355238 @default.
- W9908278 hasRelatedWork W2165108943 @default.
- W9908278 hasRelatedWork W2594012524 @default.
- W9908278 hasRelatedWork W2740875086 @default.
- W9908278 hasRelatedWork W2952727465 @default.
- W9908278 hasRelatedWork W2953354833 @default.
- W9908278 hasRelatedWork W62327733 @default.
- W9908278 hasRelatedWork W1791430325 @default.
- W9908278 hasRelatedWork W275302113 @default.
- W9908278 hasRelatedWork W328001880 @default.
- W9908278 hasRelatedWork W854557196 @default.
- W9908278 isParatext "false" @default.
- W9908278 isRetracted "false" @default.
- W9908278 magId "9908278" @default.
- W9908278 workType "article" @default.