An integrated system for knowledge representation, consisting of a structural component and a relational component, is discussed, and its application to Semantic Web is outlined. Grounded upon Description Logics (DL), the structural component enables representation of ontologies along with RDF annotations of Web contents, and various kinds of ontology-based reasoning. The relational component, by contrast, allows one to describe relationships between individuals using an extended form of Horn rules, in which terminological membership constraints can be specified. Reasoning process in the integrated system is driven by an extended backward-chaining algorithm embedded in the relational component. The two components interact by means of concept instantiation checking, which is supported by a state-of-the-art DL system, called RACER. Not only does the integration extend the expressiveness of a representation language; in addition, employment of backward chaining in conjunction with a specialized reasoner such as RACER makes it possible to improve deduction process since specialized reasoners typically perform better than general purpose ones. Some experimental studies are reported.
|Number of Pages||72|
|Book Type||Computing & information technology|
|Country of Manufacture||India|
|Product Brand||VDM Verlag Dr. Müller|
|Product Packaging Info||Box|
|In The Box||1 Piece|
|Product First Available On ClickOnCare.com||2015-10-08 00:00:00|