Back to Results
First PageMeta Content
Constraint programming / Logic programming / Model theory / Non-classical logic / Programming paradigms / Constraint logic programming / First-order logic / Description logic / Structure / Logic / Mathematical logic / Mathematics


Description Logic vs. Order-Sorted Feature Logic Hassan A¨ıt-Kaci ILOG, Inc. [removed] Abstract. We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF )
Add to Reading List

Document Date: 2007-05-22 01:39:22

Open Document

File Size: 108,64 KB

Share Result on Facebook

City

Arhus / Tableaux / Montreal / Paris / Washington / DC / Philadelphia / Stuttgart / Constraint / Linz / /

Company

Computer Society Press / Cambridge University Press / MIT Press / IBM Deutschland / ILOG Inc. / Compaq / ıt-Kaci ILOG Inc. / /

Country

Germany / Austria / United States / United Kingdom / Denmark / /

/

Facility

University of Pennsylvania / Harvard University / /

IndustryTerm

semantic web / constraint systems / feature type systems / /

Movie

The Wild LIFE / /

Organization

Cambridge University / Harvard University / Center for the Study of Language and Information / MIT / Computational Linguistics and Artificial Intelligence / North Atlantic Treaty Organization / Providence / American Mathematical Society / University of Pennsylvania / Philadelphia / Stanford / Association for Computational Linguistics / /

Person

Van Roy / Min Cardinality / Ron Brachman / Gert Smolka / Max Cardinality / /

Position

Carpenter / prolific spokesperson / /

Product

Pentax K-x Digital Camera / Galil / /

ProgrammingLanguage

Prolog / DC / /

ProvinceOrState

Pennsylvania / South Carolina / California / /

PublishedMedium

Computational Linguistics / Theoretical Computer Science / Lecture Notes in Computer Science / /

Technology

pdf / Natural Language Processing / artificial intelligence / Prolog technology / http / DOM / /

URL

http /

SocialTag