Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520691500> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1520691500 abstract "In this paper, we propose a distance-based operator to revise ontologies with acyclic generalized terminology as its TBOX in description logic $mathcal{SHOQ}$. Our operator resolves incoherence between the original ontology and the newly received ontology. We first reformulate Dalal's operator to $mathcal{SHOQ}$, and propose a query-equivalent syntactical formulation based on a notion called a revision policy . We then propose a tableau algorithm to generate such revision policies and prove the correctness of the algorithm. We show that the complexity of our algorithm stays at the same level as that of satisfiability check in $mathcal{SHOQ}$." @default.
- W1520691500 created "2016-06-24" @default.
- W1520691500 creator A5007375044 @default.
- W1520691500 creator A5024451201 @default.
- W1520691500 creator A5034606659 @default.
- W1520691500 date "2009-01-01" @default.
- W1520691500 modified "2023-09-22" @default.
- W1520691500 title "A Distance-Based Operator to Revising Ontologies in DL $mathcal{SHOQ}$" @default.
- W1520691500 cites W1481992253 @default.
- W1520691500 cites W1487156877 @default.
- W1520691500 cites W1555563750 @default.
- W1520691500 cites W1786768815 @default.
- W1520691500 cites W1808487872 @default.
- W1520691500 cites W2081966954 @default.
- W1520691500 cites W2119404257 @default.
- W1520691500 cites W2159800242 @default.
- W1520691500 cites W2911262481 @default.
- W1520691500 doi "https://doi.org/10.1007/978-3-642-02906-6_38" @default.
- W1520691500 hasPublicationYear "2009" @default.
- W1520691500 type Work @default.
- W1520691500 sameAs 1520691500 @default.
- W1520691500 citedByCount "1" @default.
- W1520691500 crossrefType "book-chapter" @default.
- W1520691500 hasAuthorship W1520691500A5007375044 @default.
- W1520691500 hasAuthorship W1520691500A5024451201 @default.
- W1520691500 hasAuthorship W1520691500A5034606659 @default.
- W1520691500 hasConcept C102993220 @default.
- W1520691500 hasConcept C104317684 @default.
- W1520691500 hasConcept C111472728 @default.
- W1520691500 hasConcept C11413529 @default.
- W1520691500 hasConcept C136119220 @default.
- W1520691500 hasConcept C138885662 @default.
- W1520691500 hasConcept C158448853 @default.
- W1520691500 hasConcept C168773769 @default.
- W1520691500 hasConcept C17020691 @default.
- W1520691500 hasConcept C185592680 @default.
- W1520691500 hasConcept C202444582 @default.
- W1520691500 hasConcept C25810664 @default.
- W1520691500 hasConcept C33923547 @default.
- W1520691500 hasConcept C41008148 @default.
- W1520691500 hasConcept C41895202 @default.
- W1520691500 hasConcept C547195049 @default.
- W1520691500 hasConcept C55439883 @default.
- W1520691500 hasConcept C55493867 @default.
- W1520691500 hasConcept C80444323 @default.
- W1520691500 hasConcept C86339819 @default.
- W1520691500 hasConceptScore W1520691500C102993220 @default.
- W1520691500 hasConceptScore W1520691500C104317684 @default.
- W1520691500 hasConceptScore W1520691500C111472728 @default.
- W1520691500 hasConceptScore W1520691500C11413529 @default.
- W1520691500 hasConceptScore W1520691500C136119220 @default.
- W1520691500 hasConceptScore W1520691500C138885662 @default.
- W1520691500 hasConceptScore W1520691500C158448853 @default.
- W1520691500 hasConceptScore W1520691500C168773769 @default.
- W1520691500 hasConceptScore W1520691500C17020691 @default.
- W1520691500 hasConceptScore W1520691500C185592680 @default.
- W1520691500 hasConceptScore W1520691500C202444582 @default.
- W1520691500 hasConceptScore W1520691500C25810664 @default.
- W1520691500 hasConceptScore W1520691500C33923547 @default.
- W1520691500 hasConceptScore W1520691500C41008148 @default.
- W1520691500 hasConceptScore W1520691500C41895202 @default.
- W1520691500 hasConceptScore W1520691500C547195049 @default.
- W1520691500 hasConceptScore W1520691500C55439883 @default.
- W1520691500 hasConceptScore W1520691500C55493867 @default.
- W1520691500 hasConceptScore W1520691500C80444323 @default.
- W1520691500 hasConceptScore W1520691500C86339819 @default.
- W1520691500 hasLocation W15206915001 @default.
- W1520691500 hasOpenAccess W1520691500 @default.
- W1520691500 hasPrimaryLocation W15206915001 @default.
- W1520691500 hasRelatedWork W108377115 @default.
- W1520691500 hasRelatedWork W119572288 @default.
- W1520691500 hasRelatedWork W1513261665 @default.
- W1520691500 hasRelatedWork W1540668801 @default.
- W1520691500 hasRelatedWork W1545926495 @default.
- W1520691500 hasRelatedWork W1580289905 @default.
- W1520691500 hasRelatedWork W1965105913 @default.
- W1520691500 hasRelatedWork W1971230887 @default.
- W1520691500 hasRelatedWork W1986563142 @default.
- W1520691500 hasRelatedWork W2040241347 @default.
- W1520691500 hasRelatedWork W2077031491 @default.
- W1520691500 hasRelatedWork W2120921192 @default.
- W1520691500 hasRelatedWork W2293749865 @default.
- W1520691500 hasRelatedWork W2349546379 @default.
- W1520691500 hasRelatedWork W2364773294 @default.
- W1520691500 hasRelatedWork W2808476963 @default.
- W1520691500 hasRelatedWork W298937333 @default.
- W1520691500 hasRelatedWork W36592441 @default.
- W1520691500 hasRelatedWork W937842695 @default.
- W1520691500 hasRelatedWork W1590316924 @default.
- W1520691500 isParatext "false" @default.
- W1520691500 isRetracted "false" @default.
- W1520691500 magId "1520691500" @default.
- W1520691500 workType "book-chapter" @default.