Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
Free Online Productivity Tools
i2Speak
i2Symbol
i2OCR
iTex2Img
iWeb2Print
iWeb2Shot
i2Type
iPdf2Split
iPdf2Merge
i2Bopomofo
i2Arabic
i2Style
i2Image
i2PDF
iLatex2Rtf
Sci2ools
27
click to vote
DLOG
2007
favorite
Email
discuss
report
149
views
Automated Reasoning
»
more
DLOG 2007
»
Description Logic vs. Order-Sorted Feature Logic
13 years 11 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
Related Content
»
Modal vs Propositional Reasoning for model checking with Description Logics
»
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
more »
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)
Researcher Info
Automated Reasoning Study Group
Computer Vision