Description Logic vs. Order-Sorted Feature Logic

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.

• Type: Conference
• Year: 2007
• Where: DLOG
• Authors: Hassan Aït-Kaci
• Keywords: Automated Reasoning, Description Logic, DLOG 2007, Knowledge Structures, Order-Sorted Feature