Sciweavers

499 search results - page 7 / 100
» Real-World Reasoning with OWL
Sort
View
OWLED
2008
13 years 10 months ago
Owlgres: A Scalable OWL Reasoner
Abstract. We present Owlgres, a DL-Lite reasoner implementation written for PostgreSQL, a mature open source database. Owlgres is an OWL reasoner that provides consistency checking...
Markus Stocker, Michael Smith
PERCOM
2006
ACM
14 years 8 months ago
Pushing Doors for Modeling Contexts with OWL DL a Case Study
In this paper we present an integrated view for modeling and reasoning for context applications using OWL DL. In our case study, we describe a task driven approach to model typica...
Anni-Yasmin Turhan, Thomas Springer, Michael Berge...
IAT
2008
IEEE
14 years 3 months ago
Levels of Modalities for BDI Logic
The use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI Logic being a widely used architecture to repres...
Jeff Blee, David Billington, Guido Governatori, Ab...
OWLED
2008
13 years 10 months ago
OWLlink: DIG for OWL 2
The OWLlink interface provides an implementation-neutral mechanism for accessing OWL reasoner functionality. In contrast to its DL-oriented predecessor DIG, OWLlink relies on OWL 2...
Thorsten Liebig, Marko Luther, Olaf Noppens, Maria...
DLOG
2004
13 years 10 months ago
OntoXpl: Exploration of OWL Ontologies
This paper describes the OWL ontology explorer OntoXpl. It is available as a web server based on the tomcat architecture. Standard HTML browsers can be used to interact with OntoX...
Volker Haarslev, Ying Lu 0003, Nematollaah Shiri