A logical specification language for ontologies in the system “Binary Model of Knowledge”

Abstract We describe the language LLS-1 for logical specifying ontologies written in “Binary Model of Knowledge” (BMK). BMK is the system intended for specifying heavy-weight ontologies by means of conceptual-type languages. The language LLS-1 has a user-friendly syntax in style of the Manchester syntax for OWL. We also determine a deduction method for LLS-1.

Download Full-text

Embedding time granularity in a logical specification language for synchronous real-time systems

Science of Computer Programming ◽

10.1016/0167-6423(93)90025-k ◽

1993 ◽

Vol 20 (1-2) ◽

pp. 141-171 ◽

Cited By ~ 15

Author(s):

E. Ciapessoni ◽

E. Corsetti ◽

A. Montanari ◽

P. San Pietro

Keyword(s):

Real Time ◽

Specification Language ◽

Real Time Systems ◽

Logical Specification ◽

Time Systems

Download Full-text

Semantic micro-contributions with decentralized nanopublication services

PeerJ Computer Science ◽

10.7717/peerj-cs.387 ◽

2021 ◽

Vol 7 ◽

pp. e387

Author(s):

Tobias Kuhn ◽

Ruben Taelman ◽

Vincent Emonet ◽

Haris Antonatos ◽

Stian Soiland-Reyes ◽

...

Keyword(s):

Linked Data ◽

Prior Experience ◽

Data Publishing ◽

Efficient Manner ◽

Heavy Weight ◽

Weight One ◽

Central Bottleneck ◽

User Friendly

While the publication of Linked Data has become increasingly common, the process tends to be a relatively complicated and heavy-weight one. Linked Data is typically published by centralized entities in the form of larger dataset releases, which has the downside that there is a central bottleneck in the form of the organization or individual responsible for the releases. Moreover, certain kinds of data entries, in particular those with subjective or original content, currently do not fit into any existing dataset and are therefore more difficult to publish. To address these problems, we present here an approach to use nanopublications and a decentralized network of services to allow users to directly publish small Linked Data statements through a simple and user-friendly interface, called Nanobench, powered by semantic templates that are themselves published as nanopublications. The published nanopublications are cryptographically verifiable and can be queried through a redundant and decentralized network of services, based on the grlc API generator and a new quad extension of Triple Pattern Fragments. We show here that these two kinds of services are complementary and together allow us to query nanopublications in a reliable and efficient manner. We also show that Nanobench makes it indeed very easy for users to publish Linked Data statements, even for those who have no prior experience in Linked Data publishing.

Download Full-text

Design and Analysis of Ejection in Sub Wheel Assembly

Mechanics and Mechanical Engineering ◽

10.2478/mme-2018-0006 ◽

2020 ◽

Vol 22 (1) ◽

pp. 59-64

Author(s):

S. Rajendran ◽

S. M. Abish ◽

M. Sakthivel ◽

P. Sandeep ◽

S. Rahul Krishna

Keyword(s):

Hydraulic System ◽

Heavy Weight ◽

Remote Areas ◽

The Road ◽

Difficult Terrain ◽

User Friendly ◽

System Power

AbstractTraveling in remote areas at nights is very risky and tire getting puncture at that time is dangerous. To avoid any of this complications a sub wheel system is installed in the vehicle. Sub wheels helps to go to required destination and change the puncture wheel. The tires used in this system are mold tires so they don’t get affected by the road conditions. The sub wheel is operated by means of a hydraulic system. Power for this sub wheel is provided from the engine placed in the back of the vehicle. This is system is very useful heavy weight vehicle which travel in difficult terrain (army vehicles). The height of the car is increased so that Sub wheels won’t affect the chassis or the engine. This type of system is used in le24race but they only use hydraulic system to lift the car. The advantage of this system is its user friendly and effective to use. By pressing a button required sub wheel comes down and start to function. By using CATIA a diagram of this system is drawn to check it’s various forces acting on it.

Download Full-text

Characteristic Formulae: From Automata to Logic

BRICS Report Series ◽

10.7146/brics.v14i2.21925 ◽

2007 ◽

Vol 14 (2) ◽

Author(s):

Luca Aceto ◽

Anna Ingólfsdóttir

Keyword(s):

Timed Automata ◽

Specification Language ◽

Transition Systems ◽

Labelled Transition Systems ◽

Logical Specification ◽

Single Formula

This paper discusses the classic notion of characteristic formulae for processes using variations on Hennessy-Milner logic as the underlying logical specification language. It is shown how to characterize logically (states of) finite labelled transition systems modulo bisimilarity using a single formula in Hennessy-Milner logic with recursion. Moreover, characteristic formulae for timed automata with respect to timed bisimilarity and the faster-than preorder of Moller and Tofts are offered in terms of the logic L_nu of Laroussinie, Larsen and Weise.

Download Full-text

The Added Value of Graphical Input and Display for Electron Lens Design

Proceedings, annual meeting, Electron Microscopy Society of America ◽

10.1017/s0424820100179701 ◽

1990 ◽

Vol 48 (1) ◽

pp. 190-191

Author(s):

B. Lencova ◽

G. Wisselink

Keyword(s):

Flux Density ◽

Numerical Data ◽

Added Value ◽

Lens Design ◽

Step Size ◽

Magnetic Lens ◽

Flux Lines ◽

Fine Mesh ◽

Electron Lens ◽

User Friendly

Recent progress in computer technology enables the calculation of lens fields and focal properties on commonly available computers such as IBM ATs. If we add to this the use of graphics, we greatly increase the applicability of design programs for electron lenses. Most programs for field computation are based on the finite element method (FEM). They are written in Fortran 77, so that they are easily transferred from PCs to larger machines.The design process has recently been made significantly more user friendly by adding input programs written in Turbo Pascal, which allows a flexible implementation of computer graphics. The input programs have not only menu driven input and modification of numerical data, but also graphics editing of the data. The input programs create files which are subsequently read by the Fortran programs. From the main menu of our magnetic lens design program, further options are chosen by using function keys or numbers. Some options (lens initialization and setting, fine mesh, current densities, etc.) open other menus where computation parameters can be set or numerical data can be entered with the help of a simple line editor. The "draw lens" option enables graphical editing of the mesh - see fig. I. The geometry of the electron lens is specified in terms of coordinates and indices of a coarse quadrilateral mesh. In this mesh, the fine mesh with smoothly changing step size is calculated by an automeshing procedure. The options shown in fig. 1 allow modification of the number of coarse mesh lines, change of coordinates of mesh points or lines, and specification of lens parts. Interactive and graphical modification of the fine mesh can be called from the fine mesh menu. Finally, the lens computation can be called. Our FEM program allows up to 8000 mesh points on an AT computer. Another menu allows the display of computed results stored in output files and graphical display of axial flux density, flux density in magnetic parts, and the flux lines in magnetic lenses - see fig. 2. A series of several lens excitations with user specified or default magnetization curves can be calculated and displayed in one session.

Download Full-text

A Review of 21 iPad Applications for Augmentative and Alternative Communication Purposes

Perspectives on Augmentative and Alternative Communication ◽

10.1044/aac21.2.60 ◽

2012 ◽

Vol 21 (2) ◽

pp. 60-71 ◽

Cited By ~ 24

Author(s):

Ashley Alliano ◽

Kimberly Herriger ◽

Anthony D. Koutsoftas ◽

Theresa E. Bartolotta

Keyword(s):

Augmentative And Alternative Communication ◽

Cost Effective ◽

Alternative Form ◽

Alternative Communication ◽

Text To Speech ◽

Reference Guide ◽

Expressive Communication ◽

Communication Needs ◽

User Friendly ◽

Ipad Applications

Abstract Using the iPad tablet for Augmentative and Alternative Communication (AAC) purposes can facilitate many communicative needs, is cost-effective, and is socially acceptable. Many individuals with communication difficulties can use iPad applications (apps) to augment communication, provide an alternative form of communication, or target receptive and expressive language goals. In this paper, we will review a collection of iPad apps that can be used to address a variety of receptive and expressive communication needs. Based on recommendations from Gosnell, Costello, and Shane (2011), we describe the features of 21 apps that can serve as a reference guide for speech-language pathologists. We systematically identified 21 apps that use symbols only, symbols and text-to-speech, and text-to-speech only. We provide descriptions of the purpose of each app, along with the following feature descriptions: speech settings, representation, display, feedback features, rate enhancement, access, motor competencies, and cost. In this review, we describe these apps and how individuals with complex communication needs can use them for a variety of communication purposes and to target a variety of treatment goals. We present information in a user-friendly table format that clinicians can use as a reference guide.

Download Full-text