Search Results - subject:"logic programs"

Description Logic Programs: Combining Logic Programs with Description Logic

Grosof, Benjamin; Horrocks, Ian; Volz, Raphael; Decker, … - Sloan School of Management, Massachusetts Institute of … - 2004

(RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so …, we define a new intermediate knowledge representation (KR) contained within this intersection: Description Logic Programs …

Persistent link: https://www.econbiz.de/10005574547

SweetDeal: Representing Agent Contracts With Exceptions using XML Rules, Ontologies, and Process Descriptions

GROSOF, BENJAMIN; POON, TERRENCE C. - Sloan School of Management, Massachusetts Institute of … - 2003

logic programs knowledge representation in RuleML, the emerging standard for Semantic Web XML rules. Here, we newly extend …

Persistent link: https://www.econbiz.de/10005587474