Sciweavers

499 search results - page 34 / 100
» Real-World Reasoning with OWL
Sort
View
AINA
2010
IEEE
15 years 5 months ago
Developing Distributed Reasoning-Based Applications for the Semantic Web
—In order for Semantic Web applications to be successful a key component should be their ability to take advantage of rich content descriptions in meaningful ways. Reasoning cons...
Dimitrios A. Koutsomitropoulos, Georgia D. Solomou...
RWEB
2010
Springer
14 years 10 months ago
Reasoning and Explanation in EL and in Expressive Description Logics
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
Anni-Yasmin Turhan
JAPLL
2010
141views more  JAPLL 2010»
14 years 10 months ago
Algebraic tableau reasoning for the description logic SHOQ
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
Jocelyne Faddoul, Volker Haarslev
EPEW
2005
Springer
15 years 5 months ago
A Compositional Operational Semantics for OWL-S
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
Barry Norton, Simon Foster, Andrew Hughes
SEMWEB
2007
Springer
15 years 6 months ago
An Event-Based Approach for Semantic Metadata Interoperability
Abstract. This paper presents a method for making metadata conforming to heterogeneous schemas semantically interoperable. The idea is to make the knowledge embedded in the schema ...
Tuukka Ruotsalo, Eero Hyvönen