Knowledge representation and reasoning

The Science Environment for Ecological Knowledge (SEEK) is a five year initiative designed to create cyberinfrastructure for ecological, environmental, and biodiversity research and to educate the ecological community about ecoinformatics.

GrOWL: intuitive knowledge browsing and editing
The development, understanding, and maintenance of shared, formal models of disciplinary knowledge (ontologies) is one of the most important challenges of ecoinformatics. Ontologies are the glue that holds heterogeneous data and applications together. It is of paramount importance that natural system scientists have access to ontologies in ways that do not require them to become computer scientists or learn awkward concepts. Unfortunately, the development and understanding of ontologies are far from easy with the current generation of tools. GrOWL is the Ecoinformatics Collaboratory's answer to the need of intuitive knowledge visualization and editing tools.

SKOS is a common data model for sharing and linking knowledge organization systems via the Web. Many knowledge organization systems, such as thesauri, taxonomies, classification schemes and subject heading systems, share a similar structure, and are used in similar applications. SKOS captures much of this similarity and makes it explicit, to enable data and technology sharing across diverse applications.

The following is a list of current and past notable artificial intelligence projects.

The Research Group Agile Knowledge Engineering and Semantic Web (AKSW) is hosted by the Department for Business-oriented Information Systems (BIS) of the Institute of Computer Science (IfI) / University of Leipzig.

the next generation in web search engine technology. Are you tired of getting millions of responses to your queries and having to scan through many pages to find what you're looking for? SHOE uses XML-like tags and advanced artificial intelligence technology to make keyword based search engines a thing of the past.

The (semantic) web is one of the most important application area for SWI-Prolog. Prolog handles the semantic web RDF model naturally, where RDF provides a stable model for knowledge representation with shared semantics. It turns out that Prolog is also quite capable of providing web-services (HTTP), especially where it comes to dynamic generation of HTML pages and providing data for Javascript web-applications using the JSON serialisation.