Search Results for "semantic"

Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!

...The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason about a model and its data (instance model, i.e., diagram) FOML is built as a semantic layer on top of PathLP - a compact logic rule language of guarded path expressions, an adaptation of a subset of F-logic.

One of the requirements of current Semantic Web applications is to deal with heterogenous data. Data represented and stored using the Extensible Markup Language (XML) is almost ubiquitous and is the standard for data exchange. Resource Description Framework (RDF) is the W3C recommended standard for data representation. Being able to work with these two languages using a common framework is a great advantage and eliminates several unnecessary steps that are currently used when handling both formats.

ASIS (Ada Semantic Interface Specification) for GNAT on gcc. ASIS is a published international ISO standard (ISO/IEC 15291:1999). ASIS based tools are available as well.

RECODER is a Java framework for Java program analysis and source code transformation. It computes an easy to use syntactic and semantic program model containing cross references, and it supports transformation rollbacks and incremental model updates.

cparser is a library containing a parser, lexer and semantic analysis for the ISO C99 language. It should be used as a compiler frontend, a base for source-source transformation, or source-checker tools.

Semantic Web related plugins for the DLVHEX system.

CCompilerSuite is a complete framework to compile a rich dialect of ANSI-C onto a RISC-like assembly, with a Virtual Machine as well. It provides for minimized tree creation, partial evaluation and semantic checks. Project is in C++ and fully extensible.

Tickle is a compiler for the Illicom TradeXpress (TX) Transaction Control Language (TCL) . It has better error messages, provides more informative syntax and semantic error messages, and generates ANSI standard C.

Ayauhteotl is a parser generator to parse XML files, using an XML-like syntax. The parser generator takes an XML file which describe the structure of the XML files to parse and which associates a semantic (for now in \\\\\\\"C\\\\\\\") t

Recoder.C# is a Java framework for C# program analysis and source code transformation. It computes an easy to use syntactic and semantic program model containing cross references and supports transformation rollbacks and incremental model updates.

Simple University project of a compiler based in the Croatian language. Implemented in C++, using a LL(1) grammatical , with a syntax like Perl, excluding arrays or other complex primitive variable. I didn't finished the semantic analyzer.. :(