Back to Results
First PageMeta Content
Ontology / Non-classical logic / Philosophical logic / Model theory / Quantification / Description logic / Tbox / Abox / Knowledge representation and reasoning / Logic / Science / Mathematical logic


2 Basic Description Logics Franz Baader
Add to Reading List

Document Date: 2011-09-08 09:53:48

Open Document

File Size: 369,30 KB

Share Result on Facebook

Company

BT / /

IndustryTerm

intelligent information processing systems / inference services / basic reasoning algorithms / structured inheritance networks / structural subsumption algorithms / derived system services / early semantic networks / inheritance networks / /

Organization

U.S. Securities and Exchange Commission / /

ProvinceOrState

Alabama / /

Technology

structural subsumption algorithms / artificial intelligence / tableau-based algorithms / basic reasoning algorithms / /

SocialTag