Articles liés à Description logic

Description logic - Couverture souple

 
9786130687397: Description logic

Synopsis

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Description logics (DL) are a family of formal knowledge representation languages. They are more expressive than propositional logic but have more efficient decision problems than first-order predicate logic DLs are used in Artificial Intelligence for formal reasoning on the concepts of an application domain (known as terminological knowledge). They are of particular importance in providing a logical formalism for Ontologies and the Semantic Web. The most notable application outside information science.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.