99 search results - page 19 / 20 » Extending Classical Theorem Proving for the Semantic Web |
EPIA
1995
Springer
13 years 9 months ago
1995
Springer
In this paper, we study the retrieval problem in ALN, which is a tractable concept language with number restrictions. Following the approach proposed in [12], this work differs fr...
PPDP
2007
Springer
13 years 11 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
13 years 5 months ago
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...
DALT
2006
Springer
13 years 9 months ago
2006
Springer
Ontologies play a key role in agent communication and the emerging Semantic Web to define a vocabulary of concepts and their relationships. Different agents and web services may us...
ICADL
2007
Springer
13 years 11 months ago
2007
Springer
Syllabi are important documents created by instructors for students. Students use syllabi to find information and to prepare for class. Instructors often need to find similar syl...