Sciweavers

700 search results - page 28 / 140
» A Tools Environment for Developing and Reasoning about Ontol...
Sort
View
SEMWEB
2010
Springer
14 years 7 months ago
OWL-POLAR: Semantic Policies for Agent Reasoning
Abstract. Policies are declarations of constraints on the behaviour of components within distributed systems, and are often used to capture norms within agent-based systems. A few ...
Murat Sensoy, Timothy J. Norman, Wamberto Weber Va...
WSPI
2004
14 years 11 months ago
Spinoza's Ontology
Abstract. We examine the possibility of applying knowledge representation and automated reasoning in the context of philosophical ontology. For this purpose, we use the axioms and ...
Jan Hladik
CL
2004
Springer
14 years 9 months ago
A browser for incremental programming
Much of the elegance and power of Smalltalk comes from its programming environment and tools. First introduced more than 20 years ago, the Smalltalk browser enables programmers to...
Nathanael Schärli, Andrew P. Black
AIED
2005
Springer
15 years 3 months ago
Critical Thinking Environments for Science Education
We have developed a range of critical thinking environments for science education that span several academic content areas, including human biology, geology and forestry. All envir...
Beverly Park Woolf, Tom Murray, David Marshall, To...
EJC
2000
14 years 11 months ago
KB-VISION: A Tool for Graphical Manipulation and Visualization of Domain Models
Even if a problem solving method and a domain ontology has been identified, there still remains the problem of adding sufficient and consistent domain knowledge to a knowledge proc...
Thorsten Liebig, Dieter Finkenzeller, Marko Luther