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

First Page		Document Content
Date: 2011-02-01 14:38:24 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 Source URL: dig.csail.mit.edu Download Document from Source Website File Size: 247,31 KB Share Document on Facebook

	1st International RuleML Symposium DocID: 1mxPF - View Document
	Microsoft Word - MobileTouristGuides.doc DocID: 181EY - View Document
	SILK’s Expressive Semantic Web Rules and Challenges in Natural Language Processing Benjamin Grosof* May 4, min. presentation at DocID: 15IrW - View Document
	SILK is here! Semantic Web Rules with Defeasibility, Higher-Order, and Scalability SILK is a … • Powerful rule knowledge representation (KR) language and system, with reasoner, UI, and interchange. It includes the RI DocID: 15IqZ - View Document
	Microsoft PowerPoint - talk-v14-final.pptx DocID: 15GRf - View Document