Search Results for "description-logic dl owl"
Sort By:
Showing 35 open source projects for "description-logic dl owl"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
1
Toonily-dl
Download comics from Toonily.com website
Toonily-dl is an open-source downloader tool designed to retrieve and archive webtoon content from the Toonily platform for offline viewing. The project provides a command-line interface that allows users to input URLs or identifiers and automatically download entire series or selected chapters. It is built to handle structured content extraction, organizing downloaded files into directories that reflect series and chapter hierarchies. The tool typically includes features such as retry... -
2
Seal
Video/Audio Downloader for Android, based on yt-dlp
Video/Audio Downloader for Android. Download videos and audio files from video platforms supported by yt-dlp (formerly youtube-dl). UI and logic written with pure Kotlin. Single activity, no fragments, only composable destinations. -
3
TRAK Metamodel
Tuples (triples) for TRAK architecture viewpoints and views
...TRAK is a general systems-thinkers'/system engineering enterprise architecture framework. It is simple, user-friendly, pragmatic and not limited to IT. 100% triple-centric and semantically-sound. Forms basis for RDF + OWL ontology description - see https://trakmetamodel.sourceforge.io/vocab/TRAK_metamodel.html. Each TRAK metamodel element now has its own web page - see https://trakmetamodel.sourceforge.io/metamodel/index.html -
4
UnBBayes
Framework & GUI for Bayes Nets and other probabilistic models.
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. -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
getavi.sh
getavi.sh helper script for youtube-dl to listing and choose video
1. Description ============== getavi.sh is a simple linux / gnu bash helper script for youtube-dl to: listing and choose video format from URL # getavi.sh # v1.0,.. "Black|: Terminal" B&C Test beta script # Leszek Ostachowski® (© 2016 2022) @GPL V2 # youtube-dl helper for listing and choose video format from URL # Dependency: youtube-dl # Usage: bash getavi.sh # Arguments: at least <URL\> [ folder for downlads ] -
6
MELO
Machine Executable Language Ontology (MELO)
This project is intended to fill the gap between the semantic web and the mainstream of software engineering, especially to integrate the semantic web with programming languages, and find an ontological representation of programming languages, including abstract syntax code execution, and global interoperability in execution environments. The machine executable language is modelled in OWL 2 DL using OWL API in C++ developed in this project. -
7
This project is a reasoner for the description logic EL+. It computes the concept subsumption hierarchy. It is an OWL 2 EL reasoner.
-
8
POWLA
OWL/RDF representation for linguistic corpora
POWLA is a formalism that allows to represent linguistic corpora in RDF. POWLA is an OWL/DL formalization of an abstract data model, PAULA (http://www.sfb632.uni-potsdam.de/d1/paula/doc), that has been developed to represent (a) any type of linguistic annotation applicable to textual data, and (b) any combination of annotation layers. For a detailed motivation of POWLA and its application to facilitate interoperability of annotated corpora, see Christian Chiarcos (to appear 2012), Interoperability of Corpora and Annotations, in: Christian Chiarcos, Sebastian Nordhoff and Sebastian Hellmann (eds.), Linked Data in Linguistics. ... -
9
FRDCSA
Formalized Research Database: Cluster, Study and Apply
We are creating a large repository of FLOSS AI software that solves problems which affect people through the Free Life Planner and FRDCSA projects. We are making OS packages for external and internal software that employ symbolic AI (Prolog/OpenCYC/etc) and connectionist AI (ML/DL/NN), to solve computational problems. Our goal is to use logic to solve planning problems - to treat the world as a "game" and then win that game by proving that bad things don't happen to people. https://github.com/aindilis/flp/blob/main/ReferenceManual.md https://github.com/aindilis/flp/ https://altruisticsoftware.org/frdcsa/ https://app.vagrantup.com/aindilis/ https://frdcsa.org/~andrewdo/ https://facebook.com/frdcsa/ https://github.com/aindilis/ https://github.com/aindilis/frdcsa-installer/ https://github.com/aindilis/frdcsa-panoply-git-20200329/ https://frdcsa.org/~andrewdo/writings/benefits-of-making-packages.html https://frdcsa.org/~andrewdo/ontolog-20220410-reduced.mp4 -
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
10
OLiA
OWL/DL ontologies for linguistic annotations
MOVED TO https://github.com/acoli-repo/olia. The Ontologies of Linguistic Annotations (OLiA) provide an OWL/DL taxonomy of data categories as a reference for linguistic annotation (OLiA Reference Model), plus OWL/DL models for a large number of annotation schemes (OLiA Annotation Models) and their relationship to reference data categories (OLiA Linking Models). The OLiA Reference Model itself is linked to community-maintained repositories such as GOLD (http://linguistics-ontology.org/) and ISOcat (http://www.isocat.org) The OLiA ontologies were originally developed as part of an infrastructure for the sustainable maintenance of linguistic resources (http://www.sfb441.uni-tuebingen.de/c2/index-engl.html), their fields of application include the formalization of annotation schemes, concept-based querying over heterogeneously annotated corpora, and the development of interoperable NLP pipelines. -
11
Information Extraction from Arabic Text
Java based framework for extraction information from Arabic text
This project presents a model a for extracting information from Arabic text. The project executables include three Java based modules that can be used to implement a rule-based information extraction process from Arabic text. These modules are: 1-A module for annotating a selected Arabic text file using a custom morpho-syntactic Part-of-Speech tagging scheme. 2-A module that can be used along with Protégé for establishing Ontology Web Language (OWL) based ontologies based on... -
12
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.
-
13
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
-
14
JFact
JFact is an OWL 2 DL reasoner, based on FaCT++
JFact is an OWL 2 DL reasoner, based on FaCT++ Active development, bug reports, wiki and support on https://github.com/owlcs/jfact -
15
LillyTab
Another free OWL/DL Reasoner
LillyTab is a modular description logic consistency checker (reasoner) with support for a subset of OWL/DL. -
16
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.
-
17
dl141th
Configure / read out the DL-141TH data logger
The DL-141TH temperature/humidity data logger comes with a proprietary software which has a quite large footprint and is only available for Windows, but not for Linux. This project provides - a description of the USB/serial protocol - a python script to configure / read out the DL-141TH data logger which can be used at least from Windows and Linux -
18
Swertia
Semantic Web Entailment Regime Translation and Inference Architecture
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. ... -
19
OWL2Query is a an OWL2 query and meta-query engine for SPARQL-DL^NOT queries with high expressivity, integration to OWLAPI (and thus Protege) and fancy visualization
-
20
*** 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.
-
21
*** 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...
-
22
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
-
23
SIM-DL: Semantic Similarity Measurement Server for concepts (and individuals) represented using (expressive) Description Logics (DL).
-
24
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.
-
25
DLog is an Description Logic ABox reasoner that uses resolution. The basic idea is that a DL knowledge base is transformed into a Prolog program without any knowledge on the content of the ABox. The answers are obtained during normal Prolog execution.
