Search Results for "description-logic dl owl"

UnBBayes is a probabilistic network framework written in Java. It has both a GUI and an API with inference, sampling, learning and evaluation. It supports Bayesian networks, influence diagrams, MSBN, OOBN, HBN, MEBN/PR-OWL, PRM, structure, parameter and incremental learning. Please, visit our wiki (https://sourceforge.net/p/unbbayes/wiki/Home/) for more information. Check out the license section (https://sourceforge.net/p/unbbayes/wiki/License/) for our licensing policy.

This project is a reasoner for the description logic EL+. It computes the concept subsumption hierarchy. It is an OWL 2 EL reasoner.

Artificial Intelligence techniques applied to common software tasks, using First Order Logic; N3, OWL ontologies and rules. Enables component-based application building, platform independence, user-friendliness. Leverage on Euler inference engine + GUI.

SmartSlog (Smart Space Ontology) is a software/application development kit (SDK or ADK) for programming Smart-M3 agents (Knowledge Processors, KPs) that consume/produce smart space content according with its high-level ontological representation. SmartSlog applies the code generation approach: given an OWL ontology description, the ontology programming library is produced. The latter provides API to access the smart space via a Smart-M3 Semantic Information Broker (SIB) and data structures and functions to represent and maintain locally in KP code all ontology classes, relations, properties, and individuals. Since 2012 the project is supported by grant KA179 of Karelia ENPI programme, http://kareliaenpi.eu/ More information about project: http://oss.fruct.org/wiki/SmartSlog Smart-M3 on Wikipedia: http://en.wikipedia.org/wiki/Smart-M3

LillyTab is a modular description logic consistency checker (reasoner) with support for a subset of OWL/DL.

DL-Learner is a tool for learning concepts in Description Logics (DLs) from user-provided examples. Equivalently, it can be used to learn classes in OWL ontologies from selected objects. As of August 2014, the source code management of DL-Learner has moved to Github: https://github.com/AKSW/DL-Learner Please use this for the latest code and issue tracking and the website (http://dl-learner.org) for general information.

Swertia, the Semantic Web Entailment Regime Translation and Inference Architecture, is a generic Semantic Web reasoning framework that is based on first-order logic (FOL) reasoning. The goal is to provide reasoning support for all major Semantic Web reasoning standards, including RDF(S), OWL 2 (Direct Semantics, RDF-Based Semantics, OWL 2 RL/RDF rules), SWRL, RIF (RIF BLD, RIF Core, RIF+RDF and RIF+OWL combinations), and Common Logic. Available reasoning methods are entailment checking, consistency checking and query answering in the form of SPARQL entailment regimes. ...

*** IMPORTANT NOTICE *** The source code of the earliest version of LODE is now available at http://www.github.com/essepuntato/LODE Even if the SourceForge repository is still active, it concerns old versions of the tool and it is not maintained anymore. *** SERVICE DESCRIPTION *** LODE is a service that extracts axioms and annotations from an OWL ontology, and renders them as ordered lists, together with their textual definitions, in a human-readable HTML page designed for browsing and navigation by means of embedded links.

*** IMPORTANT NOTICE *** The source code of the earliest version of the EARMARK Data Structure is now available at http://www.github.com/essepuntato/EarmarkDataStructure Even if the SourceForge repository is still active, it concerns old versions of the API and it is not maintained anymore. *** SERVICE DESCRIPTION *** Extremely Annotational RDF Markup (EARMARK) is an ontological approach to the specification of markup structures on text content. It allows not only documents...

An semantic editor for describing public administration services. Produces ontologies containing a workflow description in owl notation. Can be used for modelling processes in different fields, but was originally focused on semantically describing government services with their corresponding documents, fees and other information items. Launch the editor with Java Web Start at http://ri.tdf.lv

SIM-DL: Semantic Similarity Measurement Server for concepts (and individuals) represented using (expressive) Description Logics (DL).

Java-based libraries for support of ISO Common Logic. Includes but is not limited to support for CL abstract and concrete syntax models, concrete syntax parsers, and RDF/RDFS/OWL interoperability.

The FUSION Semantic Registry is a Web service registry that combines the use of OWL-DL, SAWSDL, and UDDI to support fine-grained semantic matchmaking with a focus in integrability-oriented service discovery (http://www.seerc.org/fusion/semanticregistry)

The Citizen Privacy Service is an asynchronous component using artificial intelligence capabilities including DL decidability and first order logic provenance that provide policy decision and policy enforcement points based on the US Privacy Act of 1974.

XML schemas, XMLBeans, and Java implementation of the DIG interface -- a standardised XML interface to Description Logics systems developed by the DL Implementation Group (DIG).

Packaged-based Description Logic Reasoner

GrOWL is a visualization and editing tool for OWL and DL ontologies. GrOWL aims to reconcile modern ontology language OWL with old semantic network philosophy by providing a set of graphic idiom that cover almost every OWL construct.

JAX-SA is an open source project for semantic annotation of web services. It allows to annotate WSDLs and generates corresponding semantic description of services (OWL-S).

Top Engine the Semantic Web Engine for the Enterprise. Top Engine is a Business Rule Engine that utilize OWL DL ontologies for vocabulary primitive to write rules on top of ontology. Top Engine support forward and backward chaining with truth maintenance