Items related to Description logic: Knowledge representation and reasoning,...

Description logic: Knowledge representation and reasoning, Propositional calculus, Decision problem, First- order logic, Artificial intelligence, ... science), Semantic Web, Information science - Softcover

 
9786130687397: Description logic: Knowledge representation and reasoning, Propositional calculus, Decision problem, First- order logic, Artificial intelligence, ... science), Semantic Web, Information science

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.

"synopsis" may belong to another edition of this title.

Reseña del editor

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.

"About this title" may belong to another edition of this title.