Search Results - subject:"Description Logic"

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 … provides a significant degree of expressiveness, substantially greater than the RDF-Schema fragment of Description Logic. We …

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

SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial automation and modularity. It builds upon the situated courteous logic programs knowledge representation in RuleML, the...

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