Sciweavers

756 search results - page 71 / 152
» Combining Rule and Ontology Reasoners for the Semantic Web
Sort
View
EPIA
2007
Springer
15 years 7 months ago
Towards Tractable Local Closed World Reasoning for the Semantic Web
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
Matthias Knorr, José Júlio Alferes, ...
109
Voted
ESWS
2005
Springer
15 years 7 months ago
Dually Structured Concepts in the Semantic Web: Answer Set Programming Approach
There is an ongoing discussion whether reasoning in the Semantic Web should be monotonic or not. It seems however that the problem concerns not only the reasoning over knowledge bu...
Patryk Burek, Rafal Grabos
ICLP
2007
Springer
15 years 7 months ago
HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszy...
ESWS
2008
Springer
15 years 3 months ago
Enhancing Workflow with a Semantic Description of Scientific Intent
Abstract. In the e-Science context, workflow technologies provide a problemsolving environment for researchers by facilitating the creation and execution of experiments from a pool...
Edoardo Pignotti, Peter Edwards, Alun D. Preece, N...
ESWS
2008
Springer
15 years 3 months ago
Combining SAWSDL, OWL-DL and UDDI for Semantically Enhanced Web Service Discovery
UDDI registries are included as a standard offering within the product suite of any major SOA vendor, serving as the foundation for establishing design-time and run-time SOA govern...
Dimitrios Kourtesis, Iraklis Paraskakis