Model Checking of Restricted CTL* formulas using ALCKR Taufiq Rochaeli and Claudia Eckert Department of Computer Science Technische Universitt Darmstadt {rochaeli,eckert - Abox - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2007-05-22 01:39:22 Temporal logic Semantics Ontology Linear temporal logic CTL* Kripke semantics Abox Tbox Interpretation Logic Mathematical logic Philosophy of language		Model Checking of Restricted CTL* formulas using ALCKR+ Taufiq Rochaeli and Claudia Eckert Department of Computer Science Technische Universitt Darmstadt {rochaeli,eckert}@sec.informatik.tu-darmstadt.de Add to Reading List Source URL: www.ceur-ws.org Download Document from Source Website File Size: 115,55 KB Share Document on Facebook

	Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents Drew McDermott Yale University DocID: 1xV4m - View Document
	PDF Document DocID: 1xQTu - View Document
	PDF Document DocID: 1xBPs - View Document
	PDF Document DocID: 1xzsE - View Document
	PDF Document DocID: 1xlL7 - View Document