Group items tagged

Flora-2 is an advanced object-oriented knowledge representation and reasoning system. It is a dialect of F-logic with numerous extensions, including meta-programming in the style of HiLog, logical updates in the style of Transaction Logic, and defeasible reasoning. Applications include intelligent agents, Semantic Web, knowledge-bases networking, ontology management, integration of information, security policy analysis, and more.

"The DL-Learner software learns concepts in Description Logics (DLs) from user-provided examples. Equivalently, it can be used to learn classes in OWL ontologies from selected objects. It extends Inductive Logic Programming to Descriptions Logics and the Semantic Web. The goal of DL-Learner is to provide a DL/OWL based machine learning tool to solve supervised learnings tasks and support knowledge engineers in constructing knowledge and learning about the data they created. Read more ..."

"Ontologies are formal descriptions of the world encoded in a "computational logic". The Web is the largest information structure in the world encompassing everything from a substantial part of the world economy to the fluffiest of emphemera. When the tidy world of logic hits the sprawling mudball of the web, the result is the W3C's Web Ontology Language, OWL."

"is a framework for supervised Machine Learning in OWL, RDF and Description Logics."

Wikicat is the bibliographic catalog used by the Wikicite and WikiTextrose projects. It will be implemented as a Wikidata dataset using a datamodel design based upon IFLA's Functional Requirements for Bibliographic Records: final report (FRBR) [1], the various ISBD standards, the Library of Congress's MARC 21 specification, the Anglo-American Cataloguing Rules' The Logical Structure of the Anglo-American Cataloguing Rules and Resource Description and Access (RDA), and the International Committee for Documentation (CIDOC)'s Conceptual Reference Model (CRM)[2]. The history and inter-relation of these various cataloging standards is described in RDA presentations.

"The Apache Hive ™ data warehouse software facilitates querying and managing large datasets residing in distributed storage. Hive provides a mechanism to project structure onto this data and query the data using a SQL-like language called HiveQL. At the same time this language also allows traditional map/reduce programmers to plug in their custom mappers and reducers when it is inconvenient or inefficient to express this logic in HiveQL."

Multimedia Web Ontology Language (MOWL) has been designed to facilitate semantic interactions with multimedia contents. It supports perceptual modeling of concepts using expected media properties. While the reasoning in traditional ontology languages, e.g. Web Ontology Language (OWL), is based on Description Logics, MOWL supports a probabilistic reasoning framework based on Bayesian Network.

The Semantic Component Library is a grouping (library) of Flex components or widgets that take record(s) description(s) and irXML schema(s) as input, and then output some (possibly interactive) visualization(s) of that record. Depending on the logic described in the input schema(s) and the input record(s) description(s), the Semantic Component may behave differently or provide presentation options to users.

This section of the OpenStructs Web site provides rather complete documentation for the Semantic Components, our ontological driven user interface framework. A semantic component is a Flex component that takes record(s) description(s) and irXML schema(s) as input, and that output some (possibly interactive) visualization(s) of that record. Depending on the logic described in the input schema(s) and the input record(s) description(s), the semantic component will behave differently to optimize its presentation to the users.

The International Association for Ontology and its Applications is a non-profit organization the purpose of which is to promote interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general.

ConceptBase.cc is a multi-user deductive database system with an object-centered data model. Its ability to represent information at any abstraction level (data, class, metaclass, meta-metaclass, etc.) makes it a powerful tool for metamodeling and engineering of customized modeling languages. The system is accompanied by a highly configurable graphical user interface that builds upon the logic-based features of the ConceptBase.cc server.

"The Sigma knowledge engineering environment is an system for developing, viewing and debugging theories in first order logic. It works with Knowledge Interchange Format (KIF) and is optimized for the Suggested Upper Merged Ontology (SUMO)."

"WI-Prolog offers a comprehensive free Prolog environment. Since its start in 1987, SWI-Prolog development has been driven by the needs of real world applications. SWI-Prolog is widely used in research and education as well as commercial applications. Join over a million users who have downloaded SWI-Prolog."

Upper Mapping and Binding Exchange Layer A lightweight, subject concept reference structure for the Web

Buy Bank Of America Looking to Bank Of America? We've got you covered! Investing in the stock market can be a daunting task, but one company that has consistently shown strong performance over the years is Bank of America. With a stable history and a diverse portfolio of investments, Bank of America is a logical choice for those looking to enter the world of investing. Its strong earnings reports and consistent growth are a testament to its strong leadership and strategic vision. Buying Bank of America stock now could prove to be a wise decision for those looking to diversify their investment portfolio. Order now and see the results for yourself And get more exposure for your business! All the benefits you will get from our service √. 100% phone verified USA, UK and other countries √. Real gmail used USA, UK and other countries √. 100% secure and full verified accounts √. Customer satisfaction guaranteed √. You can transfer money without any problem √. Replacement guaranteed within 60 days √. Accounts Replacement guaranteed √. Customer support 24 hour √. Money back guarantee 100%