Back to Results
First PageMeta Content
Logic programming / Rule Interchange Format / Negation / Production system / First-order logic / Reasoning system / Artificial intelligence / Logic / Mathematical logic


Analyzing the AIR Language: A Semantic Web (Production) Rule Language ? Ankesh Khandelwal1 , Jie Bao1 , Lalana Kagal2 , Ian Jacobi2 , Li Ding1 , and James Hendler1 1
Add to Reading List

Document Date: 2011-02-01 14:38:24

Open Document

File Size: 247,31 KB

Share Result on Facebook

City

N3 / /

Company

TO-RULEBASE B. COMP / stratified LP / Situated Ordinary LP / Situated Courteous LP / TP / Hierarchical LP / /

Currency

pence / /

/

Facility

Massachusetts Institute of Technology Cambridge / /

IndustryTerm

Web rule languages / web rule language / fix-point operator / Web-based information systems / Web reasoning / Web resources / rule systems / induction operator / Web production rule language / reasoning algorithm / /

Organization

Institute of Technology Cambridge / National Science Foundation / Rensselaer Polytechnic Institute / Information Technology Alliance / Massachusetts Institute of Technology / /

Position

Author / Prime Minister / model semantics / first author / conf /

ProgrammingLanguage

OPS5 / /

ProvinceOrState

New York / Massachusetts / /

Technology

COMP-CLOSURE algorithm / Information Technology / HTTP / reasoning algorithm / RDF / 2 Massachusetts Institute of Technology / /

URL

http /

SocialTag