Matches in SemOpenAlex for { <https://semopenalex.org/work/W2371337430> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2371337430 abstract "The forthcoming semantic Web evolving from the current World Wide Web is designed to define the semantics of information and services on the web,thereby endowing the web with intelligence to automatically reason about the web contents.Description logics(DLs) play a substantial role in the semantic Web,since they underlie the W3C-recommended Web ontology language(OWL),which is derived from ontology research in artificial intelligence(AI) in order to achieve the goal of the semantic Web.However,the knowledge and data in the Semantic Web are large-scale,dispersive,multi-authored,and therefore usually inconsistent.It is reasonable and imperative to develop practical reasoning techniques for inconsistent ontologies.This paper proposes a new type of paraconsistent description logics based on Hunter's quasi-classical logic(QCL),which are termed as quasi-classical description logics(QCDLs).QCDLs avoid logical explosion.A semantic tableau calculus is constructed in QCDLs for the reasoning on the knowledge bases with acyclic TBox.Furthermore,a sound,complete and decidable consequence relation based on the calculus is defined.These enable a complete framework for paraconsistent reasoning in the Semantic Web.A comparison with other key paraconsistent description logics is also given.It is shown that QCDLs possess more expressive semantics and stronger reasoning capability,and that its connectives behave classically at the object level." @default.
- W2371337430 created "2016-06-24" @default.
- W2371337430 creator A5053522550 @default.
- W2371337430 date "2009-01-01" @default.
- W2371337430 modified "2023-09-26" @default.
- W2371337430 title "Quasi-Classical Description Logics and Paraconsistent Tableau Calculus for Reasoning with Acyclic TBox" @default.
- W2371337430 hasPublicationYear "2009" @default.
- W2371337430 type Work @default.
- W2371337430 sameAs 2371337430 @default.
- W2371337430 citedByCount "0" @default.
- W2371337430 crossrefType "journal-article" @default.
- W2371337430 hasAuthorship W2371337430A5053522550 @default.
- W2371337430 hasConcept C101230327 @default.
- W2371337430 hasConcept C102993220 @default.
- W2371337430 hasConcept C111472728 @default.
- W2371337430 hasConcept C138885662 @default.
- W2371337430 hasConcept C148792806 @default.
- W2371337430 hasConcept C153269930 @default.
- W2371337430 hasConcept C154945302 @default.
- W2371337430 hasConcept C184337299 @default.
- W2371337430 hasConcept C199360897 @default.
- W2371337430 hasConcept C2129575 @default.
- W2371337430 hasConcept C25810664 @default.
- W2371337430 hasConcept C41008148 @default.
- W2371337430 hasConcept C534406577 @default.
- W2371337430 hasConcept C62360110 @default.
- W2371337430 hasConcept C71695816 @default.
- W2371337430 hasConcept C80444323 @default.
- W2371337430 hasConceptScore W2371337430C101230327 @default.
- W2371337430 hasConceptScore W2371337430C102993220 @default.
- W2371337430 hasConceptScore W2371337430C111472728 @default.
- W2371337430 hasConceptScore W2371337430C138885662 @default.
- W2371337430 hasConceptScore W2371337430C148792806 @default.
- W2371337430 hasConceptScore W2371337430C153269930 @default.
- W2371337430 hasConceptScore W2371337430C154945302 @default.
- W2371337430 hasConceptScore W2371337430C184337299 @default.
- W2371337430 hasConceptScore W2371337430C199360897 @default.
- W2371337430 hasConceptScore W2371337430C2129575 @default.
- W2371337430 hasConceptScore W2371337430C25810664 @default.
- W2371337430 hasConceptScore W2371337430C41008148 @default.
- W2371337430 hasConceptScore W2371337430C534406577 @default.
- W2371337430 hasConceptScore W2371337430C62360110 @default.
- W2371337430 hasConceptScore W2371337430C71695816 @default.
- W2371337430 hasConceptScore W2371337430C80444323 @default.
- W2371337430 hasLocation W23713374301 @default.
- W2371337430 hasOpenAccess W2371337430 @default.
- W2371337430 hasPrimaryLocation W23713374301 @default.
- W2371337430 hasRelatedWork W1496499432 @default.
- W2371337430 hasRelatedWork W1546821488 @default.
- W2371337430 hasRelatedWork W1600046366 @default.
- W2371337430 hasRelatedWork W1906763968 @default.
- W2371337430 hasRelatedWork W1986563142 @default.
- W2371337430 hasRelatedWork W2022988079 @default.
- W2371337430 hasRelatedWork W2040241347 @default.
- W2371337430 hasRelatedWork W2106354297 @default.
- W2371337430 hasRelatedWork W2107320454 @default.
- W2371337430 hasRelatedWork W2130054784 @default.
- W2371337430 hasRelatedWork W2131997783 @default.
- W2371337430 hasRelatedWork W2159463330 @default.
- W2371337430 hasRelatedWork W2161911014 @default.
- W2371337430 hasRelatedWork W2165433828 @default.
- W2371337430 hasRelatedWork W2328401423 @default.
- W2371337430 hasRelatedWork W2367239977 @default.
- W2371337430 hasRelatedWork W2530494681 @default.
- W2371337430 hasRelatedWork W2613416055 @default.
- W2371337430 hasRelatedWork W2892339304 @default.
- W2371337430 hasRelatedWork W96757190 @default.
- W2371337430 isParatext "false" @default.
- W2371337430 isRetracted "false" @default.
- W2371337430 magId "2371337430" @default.
- W2371337430 workType "article" @default.