Sciweavers

499 search results - page 5 / 100
» Real-World Reasoning with OWL
Sort
View
ASWC
2006
Springer
14 years 9 days ago
Transformation from OWL Description to Resource Space Model
Abstract. Semantics shows diversity in real world, document world, mental abstraction world and machine world. Transformation between semantics pursues the uniformity in the divers...
Hai Zhuge, Peng Shi, Yunpeng Xing, Chao He
SEMWEB
2011
Springer
12 years 11 months ago
The OWL API: A Java API for OWL ontologies
We present the OWL API, a high level Application Programming Interface (API) for working with OWL ontologies. The OWL API is closely aligned with the OWL 2 structural specificatio...
Matthew Horridge, Sean Bechhofer
LPAR
2007
Springer
14 years 2 months ago
Decidable Fragments of Many-Sorted Logic
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...
Aharon Abadi, Alexander Moshe Rabinovich, Mooly Sa...
OWLED
2007
13 years 10 months ago
Combining OWL with RCC for Spatioterminological Reasoning on Environmental Data
A new approach to spatioterminological reasoning is presented which is based on a hybrid knowledge representation system architecture and on a representation of the RCC family tree...
Rolf Grütter, Bettina Bauer-Messmer
FLAIRS
2006
13 years 10 months ago
On Repairing Reasoning Reversals via Representational Refinements
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...
Alan Bundy, Fiona McNeill, Christopher Walton