687 search results - page 119 / 138 » OWL: A Description Logic Based Ontology Language |
170
click to vote
IJCAI
1993
15 years 8 months ago
1993
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...
184
click to vote
IEE
2008
15 years 6 months ago
2008
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
179
click to vote
DLOG
2009
15 years 4 months ago
2009
We report on event recognition within the life logging application IYOUIT for the automatic creation of static diary-like Blogs. Based on the qualitative context histories produced...
167
click to vote
KI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...
170
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...