Matches in SemOpenAlex for { <https://semopenalex.org/work/W2370531476> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2370531476 abstract "By introducing a dynamic dimension into the description logic,two kinds of dynamic description logics have been proposed in the literatures for representing and reasoning about knowledge of dynamic application domains.But both of them lack efficient decision algorithms.This paper presents a Tableau decision algorithm for the dynamic description logic D-ALCO.D-ALCO is a combination of the description logic ALCO,the dynamic logic,and an action theory based on the possible models approach.In D-ALCO,based on domain ontologies expressed in ALCO,atomic actions are described by specifying their preconditions and effects;With the help of standard action constructors of the dynamic logic,complex actions can be described also;Both atomic actions and complex actions are then used as modal operators in the construction of formulas.The Tableau decision algorithm for D-ALCO forms an elaborated combination of the Tableau algorithm for ALCO,the decision algorithm for propositional dynamic logic,and the embodiment of the possible models approach.The authors prove that the algorithm is terminating,sound and complete for deciding the satisfiability of D-ALCO formulas with the Open World Assumption.The algorithm is flexible and can be extended for more expressive dynamic description logics such as the D-ALCQO and the D-ALCQIO." @default.
- W2370531476 created "2016-06-24" @default.
- W2370531476 creator A5015299890 @default.
- W2370531476 date "2008-01-01" @default.
- W2370531476 modified "2023-09-25" @default.
- W2370531476 title "A Tableau Decision Algorithm for Dynamic Description Logic" @default.
- W2370531476 hasPublicationYear "2008" @default.
- W2370531476 type Work @default.
- W2370531476 sameAs 2370531476 @default.
- W2370531476 citedByCount "9" @default.
- W2370531476 countsByYear W23705314762012 @default.
- W2370531476 countsByYear W23705314762013 @default.
- W2370531476 countsByYear W23705314762015 @default.
- W2370531476 countsByYear W23705314762020 @default.
- W2370531476 crossrefType "journal-article" @default.
- W2370531476 hasAuthorship W2370531476A5015299890 @default.
- W2370531476 hasConcept C102993220 @default.
- W2370531476 hasConcept C11413529 @default.
- W2370531476 hasConcept C121332964 @default.
- W2370531476 hasConcept C165801399 @default.
- W2370531476 hasConcept C168773769 @default.
- W2370531476 hasConcept C172385210 @default.
- W2370531476 hasConcept C185592680 @default.
- W2370531476 hasConcept C188027245 @default.
- W2370531476 hasConcept C203659156 @default.
- W2370531476 hasConcept C27508121 @default.
- W2370531476 hasConcept C2777796570 @default.
- W2370531476 hasConcept C2780791683 @default.
- W2370531476 hasConcept C41008148 @default.
- W2370531476 hasConcept C62520636 @default.
- W2370531476 hasConcept C6943359 @default.
- W2370531476 hasConcept C71139939 @default.
- W2370531476 hasConcept C80444323 @default.
- W2370531476 hasConceptScore W2370531476C102993220 @default.
- W2370531476 hasConceptScore W2370531476C11413529 @default.
- W2370531476 hasConceptScore W2370531476C121332964 @default.
- W2370531476 hasConceptScore W2370531476C165801399 @default.
- W2370531476 hasConceptScore W2370531476C168773769 @default.
- W2370531476 hasConceptScore W2370531476C172385210 @default.
- W2370531476 hasConceptScore W2370531476C185592680 @default.
- W2370531476 hasConceptScore W2370531476C188027245 @default.
- W2370531476 hasConceptScore W2370531476C203659156 @default.
- W2370531476 hasConceptScore W2370531476C27508121 @default.
- W2370531476 hasConceptScore W2370531476C2777796570 @default.
- W2370531476 hasConceptScore W2370531476C2780791683 @default.
- W2370531476 hasConceptScore W2370531476C41008148 @default.
- W2370531476 hasConceptScore W2370531476C62520636 @default.
- W2370531476 hasConceptScore W2370531476C6943359 @default.
- W2370531476 hasConceptScore W2370531476C71139939 @default.
- W2370531476 hasConceptScore W2370531476C80444323 @default.
- W2370531476 hasLocation W23705314761 @default.
- W2370531476 hasOpenAccess W2370531476 @default.
- W2370531476 hasPrimaryLocation W23705314761 @default.
- W2370531476 hasRelatedWork W1510315745 @default.
- W2370531476 hasRelatedWork W1545134309 @default.
- W2370531476 hasRelatedWork W1599587354 @default.
- W2370531476 hasRelatedWork W1818629355 @default.
- W2370531476 hasRelatedWork W1871776918 @default.
- W2370531476 hasRelatedWork W1987650001 @default.
- W2370531476 hasRelatedWork W2053821967 @default.
- W2370531476 hasRelatedWork W2077031491 @default.
- W2370531476 hasRelatedWork W2077974960 @default.
- W2370531476 hasRelatedWork W2090238417 @default.
- W2370531476 hasRelatedWork W2092774652 @default.
- W2370531476 hasRelatedWork W2148361595 @default.
- W2370531476 hasRelatedWork W2157106971 @default.
- W2370531476 hasRelatedWork W2250456419 @default.
- W2370531476 hasRelatedWork W2349236761 @default.
- W2370531476 hasRelatedWork W2379874371 @default.
- W2370531476 hasRelatedWork W2389354407 @default.
- W2370531476 hasRelatedWork W3003690688 @default.
- W2370531476 hasRelatedWork W2101154178 @default.
- W2370531476 hasRelatedWork W2186145252 @default.
- W2370531476 isParatext "false" @default.
- W2370531476 isRetracted "false" @default.
- W2370531476 magId "2370531476" @default.
- W2370531476 workType "article" @default.