Sciweavers

157 search results - page 25 / 32
» A Conjunctive Query Language for Description Logic Aboxes
Sort
View
125
Voted
LFCS
2009
Springer
15 years 4 months ago
Completeness Results for Memory Logics
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
Carlos Areces, Santiago Figueira, Sergio Mera
OWLED
2008
14 years 11 months ago
Augmenting the Expressivity of the Ontology Pre-Processor Language
We present the latest release of the Ontology Pre-Processor Language, a language for querying and modifying Description Logic knowledge bases expressed in OWL. We briefly describe ...
Luigi Iannone, Mikel Egaña Aranguren, Alan ...
128
Voted
DIMACS
1996
14 years 11 months ago
Easier Ways to Win Logical Games
in Structure'95. 14] R. Fagin. Easier ways to win logical games. In Proc. DIMACS Workshop on Descriptive Complexity and Finite Models, AMS 1997. 15] R. Fagin, L. Stockmeyer, M...
Ronald Fagin
88
Voted
MIDDLEWARE
2007
Springer
15 years 4 months ago
Combining ontology queries with key word search in the GloServ service discovery system
GloServ is a global service discovery system which aggregates different types of services in a globally distributed network. It improves on current service discovery systems by sc...
Knarig Arabshian, Henning Schulzrinne
SEMWEB
2009
Springer
15 years 4 months ago
Processing OWL2 Ontologies using Thea: An Application of Logic Programming
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
Vangelis Vassiliadis, Jan Wielemaker, Chris Mungal...