3706 search results - page 5 / 742 » OntoComP System Description |
CADE
2002
Springer
16 years 11 hour ago
2002
Springer
104
click to vote
DLOG
1998
15 years 1 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
ENTCS
2002
14 years 11 months ago
2002
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with acti...
106
click to vote
LREC
2010
14 years 10 months ago
2010
In this paper we discuss some well-known morphological descriptions used in various projects and applications (most notably MULTEXT-East and Unitex) and illustrate the encountered...
DLOG
2004
15 years 1 months ago
2004
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics that can be used via a graphical user interface. In addition to that our implementat...