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.
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.
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 184 pp. Englisch. Seller Inventory # 9786130687397
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Description logic | Knowledge representation and reasoning, Propositional calculus, Decision problem, First- order logic, Artificial intelligence, Ontology (information science), Semantic Web, Information science | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786130687397 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand. Seller Inventory # 113237885