Description Logic vs. Order-Sorted Feature Logic

13 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the kind used for the Semantic Web.

Hassan Aït-Kaci

Real-time Traffic

Automated Reasoning | Description Logic | DLOG 2007 | Knowledge Structures | Order-Sorted Feature |

claim paper

» Integrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reason...

» Nominal Schemas for Integrating Rules and Description Logics

» Learning Relational Descriptions of Differentially Expressed Gene Groups

» Expressive ABox Reasoning with Number Restrictions Role Hierarchies and Transitively Close...

» Structures for Multiplicative Cyclic Linear Logic Deepness vs Cyclicity

» OWL DL vs OWL flight conceptual modeling and reasoning for the semantic Web

» Biologically vs Logic Inspired Encoding of Facial Actions and Emotions in Video

» AVM Description Compilation using Types as Modes

Post Info
More Details (n/a)

Added	02 Oct 2010
Updated	02 Oct 2010
Type	Conference
Year	2007
Where	DLOG
Authors	Hassan Aït-Kaci

Comments (0)

Sciweavers

Description Logic vs. Order-Sorted Feature Logic

Automated Reasoning | Description Logic | DLOG 2007 | Knowledge Structures | Order-Sorted Feature |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers