Filters








86,003 Hits in 5.6 sec

A Query Language for Logic Architectures [chapter]

Anton Malykh, Andrei Mantsivoda
2010 Lecture Notes in Computer Science  
In particular we are based on the conception of a logic architecture as a stratified description logic system, and introduce an ontology query language working within logic architectures.  ...  How to make the 'elite' logic tools acceptable for ordinary developers? How to incorporate a wide range of users in the space of the Semantic Web?  ...  BoxQL is intended for logic architectures, which are based on SHOIN (D) [2] as a 'maximal' logic.  ... 
doi:10.1007/978-3-642-11486-1_25 fatcat:z2k2rqqecbaspjjb74q2dwcho4

ALASKA for Ontology Based Data Access [chapter]

Jean-François Baget, Madalina Croitoru, Bruno Paiva Lima da Silva
2013 Lecture Notes in Computer Science  
Choosing the tools for the management of large and semi-structured knowledge bases has always been considered as a quite crafty task.  ...  ALASKA translates different data representation languages such as relational databases, graph structures or RDF triples into logics.  ...  Alternatively, the query can be translated in the abstract logic language and a generic backtrack algorithm used for answering Q in F .  ... 
doi:10.1007/978-3-642-41242-4_16 fatcat:d6audaxs3farlnmg25lrj5nyte

Towards an Architecture Combining Grounding and Planning for Human-Robot Interaction [chapter]

Dongcai Lu, Xiaoping Chen
2015 Lecture Notes in Computer Science  
We consider here the problem of connecting natural language to the physical world for robotic object manipulation.  ...  The grounding system of the architecture grounds the meaning of a natural language sentence in physical environment perceived by the robot's sensors and generates a knowledge base of the physical environment  ...  For example, given an image (Figure 2 (a)) coming from the camera, and a natural language query, such as "the drink to the right of a food".  ... 
doi:10.1007/978-3-319-29339-4_18 fatcat:7kpr3u3vffdfficnnyio55nq4m

XFormsDB: A Declarative Web Application Framework [chapter]

Markku Laine, Denis Shestakov, Petri Vuorimaa
2012 Lecture Notes in Computer Science  
Most Web applications utilize a three-tier architecture, in which the presentation, application logic, and data management are implemented as separate tiers.  ...  The framework is based on the XForms markup language and our server-side extensions. We demonstrate the functionality of the framework using a simple blog application as an example.  ...  The internal architecture of the application separates the code on each Web page into the three logical tiers: data, logic, and presentation.  ... 
doi:10.1007/978-3-642-31753-8_48 fatcat:gn5ic6fx3ndvtnuxwswbzgubh4

Semantic Architecture for Modelling and Reasoning IoT Data Resources based on SPARK

Ahmed Salama, Masoud E., Haytham Al-Feel
2020 International Journal of Advanced Computer Science and Applications  
language that's named SPARK-SQL as a streaming inquiry language for a colossal amount of information.  ...  utilizing the conventional SPARQL inquiry language.  ...  It also provides a logical shape for ontologies of Semantic Web.  ... 
doi:10.14569/ijacsa.2020.0110255 fatcat:46i22cefpndivc62myjyifmsdi

Semantic Web Architecture: Stack or Two Towers? [chapter]

Ian Horrocks, Bijan Parsia, Peter Patel-Schneider, James Hendler
2005 Lecture Notes in Computer Science  
We discuss language architecture for the Semantic Web, and in particular different proposals for extending this architecture with a rules component.  ...  We argue that an architecture that maximises compatibility with existing languages, in particular RDF and OWL, will benefit the development of the Semantic Web, and still allow for forms of closed world  ...  This is easy to see if we imagine querying an RDF ontology with a more expressive query language, for example one that includes counting or negation (as, for example, SQL).  ... 
doi:10.1007/11552222_4 fatcat:gj42lcel6bdvtklikccufkta2q

Information integration: conceptual modeling and reasoning support

D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, R. Rosati
1998 Proceedings 3rd IFCIS International Conference on Cooperative Information Systems (Cat No 98EX122) COOPIS-98  
In particular, we present a general architecture for Information Integration that explicitly includes a conceptual representation of the application.  ...  Finally, we present a specific proposal of an integration system which realizes the general architecture and is equipped with decidable reasoning procedures.  ...  Similarly, the term logical query language refers to the language for expressing the Query Schemas.  ... 
doi:10.1109/coopis.1998.706234 dblp:conf/coopis/CalvaneseGLNR98 fatcat:bsakevgvqvcybhxnht2tkkgfzu

Toward a Natural-Language Interface in Ontologies for Disambiguation

Alejandro Solís Sánchez, Pablo Barraza Cornejo, Juan Carlos Acosta Guadarrama, Juan Ferret
2020 Research on computing science  
To access such data, one requires complex query languages, such as SPARQL. NLI2Os translate human-language queries into SPARQL ones. In this work, we describe the architecture of an NLI2O.  ...  With natural-language-interfaces-to-ontology (NLI2O) one can query a specific domain's data, stored into that particular conceptual structure, coded into specialized languages such as Ontology Web Language  ...  It receives a query in natural language as input, which gets converted to a firstorder logic formula.  ... 
dblp:journals/rcs/SanchezCGF20 fatcat:h5bibf2psrak5gfuynda27m6ge

SamzaSQL: Scalable Fast Data Management with Streaming SQL

Milinda Pathirage, Julian Hyde, Yi Pan, Beth Plale
2016 2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)  
In this white paper, we identify a set of requirements and propose a standard SQL based streaming query model for management of what has been referred to as Fast Data.  ...  Even though distributed SQL query engines have been available for Big Data, we still lack support for SQL-based stream querying capabilities in distributed stream processing systems.  ...  ARCHITECTURE We propose a general architecture as a query planning pipeline, see Figure 1 , where a query is first converted into a logical plan using Apache Calcite default rules, and then several stages  ... 
doi:10.1109/ipdpsw.2016.141 dblp:conf/ipps/PathirageHPP16 fatcat:lgawsp2y4rbkzk63pks3x5l5j4

PERLA: A Data Language for Pervasive Systems

Fabio A. Schreiber, Romolo Camplani, Marco Fortunato, Marco Marelli, Filippo Pacifici
2008 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom)  
A language is presented for managing data in highly pervasive systems made of very different devices as to their technology and functional capabilities.  ...  In this paper the most relevant features of the language, the related data structures and some query examples are briefly introduced.  ...  SYSTEM ARCHITECTURE AND MIDDLEWARE In this section the architecture for pervasive systems, over which we based our language, is briefly explained.  ... 
doi:10.1109/percom.2008.30 dblp:conf/percom/SchreiberCFMP08 fatcat:ibn7lfryyjgjjkq73k7jh6xily

Information Systems Architecture [chapter]

2008 The Making of Information Systems  
One or more query processing agents are then responsible for discovering (from a resource broker agent) which data source agents are relevant to the query, decomposing the query into subqueries suitable  ...  An agent-based architecture is used: information sources are encapsulated as information agents that accept messages in an agent communication language (the FIPA ACL).  ...  Query representation language The choice of a query language is an important determinant of the techniques used for query processing. Distributed information systems using OQL include MIND and DISCO.  ... 
doi:10.1007/978-3-540-79261-1_3 fatcat:3mpxs36bjfglvnbymovcwxahg4

Towards a Natural Language Conversational Interface for Process Mining [chapter]

Luciana Barbieri, Edmundo Roberto Mauro Madeira, Kleber Stroeh, Wil M. P. van der Aalst
2022 Process Mining Workshops : ICPM 2021 International Workshops  
We combine classic natural language processing techniques (such as entity recognition and semantic parsing) with an abstract logical representation for process mining queries.  ...  We also provide a compilation of real natural language questions (aiming to form a dataset of that sort) and an implementation of the architecture that interfaces to an existing commercial tool: Everflow  ...  We would like to thank Coordenação de Aperfeiçoamento de Pessoal de Nível Superior -Brasil (CAPES) -Finance Code 001, for providing the financial support for this work.  ... 
doi:10.18154/rwth-2022-04971 fatcat:7d3e6b2f4nhflcw2uyae3gmify

The RacerPro knowledge representation and reasoning system

Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel
2012 Semantic Web Journal  
RacerPro is a software system for building applications based on ontologies. The backbone of RacerPro is a description logic reasoner.  ...  Based on new optimization techniques and techniques that have been developed in the research field of description logics throughout the years, a mature architecture for typical-case reasoning tasks is  ...  We also would like thank Olaf Noppens for providing the Protégé 4 plugin for RacerPro. An earlier interface for Racer called RICE was built by Ronald Cornet.  ... 
doi:10.3233/sw-2011-0032 fatcat:3o5x3ragfjaubk6vyjuf3qariu

Fast Data Management with Distributed Streaming SQL [article]

Milinda Pathirage, Beth Plale
2015 arXiv   pre-print
In this white paper, we identify a set of requirements and propose a standard SQL based streaming query model for management of what has been referred to as Fast Data.  ...  Even though distributed SQL query engines have been available for Big Data, we still lack support for SQL-based stream querying capabilities in distributed stream processing systems.  ...  ARCHITECTURE We propose a general architecture as a query planning pipeline, see Figure 1 , where a query is first converted into a logical plan using Apache Calcite default rules, and then several stages  ... 
arXiv:1511.03935v1 fatcat:leyccdhro5cynkjd7oasebdagy

KWIC (key word in context)

1984 The Journal of Logic Programming  
[336] on of an Abstract PROLOG Machine [334]An Abstraction in Logic Programming [198]Modularization and Abstraction in Logic Programming [199]Modularization and Abstraction in PROLOG/KR [439]Data Acceptability  ...  Model to Efficient Compilation of Patterns [166]From Abstract PROLOG Instruction Set [672]An Abstract PROLOG Machine-a Specification [383] Abstract PROLOG Machine and its Application to Partial Evaluation  ...  [524]Qute: a PROLOG/LISP Type Lan- guage for Logic Programming [52]Amalgamating Language and Metalanguage in Logic Programming [535]A Query-the-user Facility for Logic Programming [536]A Query-the-user  ... 
doi:10.1016/0743-1066(84)90025-6 fatcat:ypq2jrr3mvd3hflnp6ftrcd5vm
« Previous Showing results 1 — 15 out of 86,003 results