Published on Tue Dec 31 2019

Definitions and Semantic Simulations Based on Object-Oriented Analysis and Modeling

Robert B. Allen

We have proposed going beyond traditional ontologies to use rich semantics implemented in programming languages for modeling.Ultimately, such models should provide the basis for direct representation.

0
0
0
Abstract

We have proposed going beyond traditional ontologies to use rich semantics implemented in programming languages for modeling. In this paper, we discuss the application of executable semantic models to two examples, first a structured definition of a waterfall and second the cardiopulmonary system. We examine the components of these models and the way those components interact. Ultimately, such models should provide the basis for direct representation.

Thu Dec 31 2020
Artificial Intelligence
Semantic Modeling with SUMO
We explore using the Suggested Upper Merged Ontology (SUMO) to develop a semantic simulation. We provide two proof-of-concept demonstrations modeling transitions in a simulated gasoline engine. We propose structured representations of terms based on linguistic approaches to lexicography.
0
0
0
Tue Oct 07 2014
Artificial Intelligence
Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach
We propose a framework grounded in Logic Programming for representing andreasoning about business processes. We define a logical language and a formal semantics for process models enriched with ontology-based annotations. We show how the procedural process knowledge can be seamlessly integrated with the domain knowledge specified by using the OWL 2 RL
0
0
0
Thu May 31 2007
Artificial Intelligence
Modeling Computations in a Semantic Network
Semantic network research has seen a resurgence from its early history in the cognitive sciences. The Semantic Web effort has brought forth an array of technologies that support the encoding, storage, and querying of the semantic network data structure.
0
0
0
Tue Sep 17 2019
Artificial Intelligence
Proceedings 35th International Conference on Logic Programming (Technical Communications)
Since 1982, ICLP has been the premier international event for presenting research in logic programming. Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge. Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modules.
0
0
0
Wed Feb 06 2013
Artificial Intelligence
Object-Oriented Bayesian Networks
Bayesian networks provide a modeling language and associated inference algorithm for stochastic domains. When faced with a large complex domain, the task of modeling begins to resemble the task of programming using logical circuits. In this paper, we describe an object-oriented Bayesian network (OOBN) language.
0
0
0
Fri Mar 01 2013
Artificial Intelligence
The Semantic Web takes Wing: Programming Ontologies with Tawny-OWL
The Tawny-OWL library provides a fully-programmatic environment for ontology building. It is built in Clojure - amodern Lisp dialect, and is backed by the OWL API. Used simply, it has a similar syntax to OWL Manchester syntax.
0
0
0