Sciweavers

674 search results - page 56 / 135
» Numeric reasoning in the Semantic Web
Sort
View
DLOG
2003
13 years 11 months ago
Status Report on Description Logics related Project in Korea
In this short position paper, the project of building intelligent business information infrastructure using semantic web, ontology, description logics, and other related knowledge...
Shinyoung Lim
WAIM
2004
Springer
14 years 3 months ago
Symbolic Agent Negotiation for Semantic Web Service Exploitation
This paper presents an architecture and a methodology for agent-based Web service discovery and automated composition. We assume that Web services are described with declarative sp...
Peep Küngas, Jinghai Rao, Mihhail Matskin
RULEML
2005
Springer
14 years 3 months ago
Active Rules in the Semantic Web: Dealing with Language Heterogeneity
In the same way as the “static” Semantic Web deals with data model and language heterogeneity and semantics that lead to RDF and OWL, there is language heterogeneity and the ne...
Wolfgang May, José Júlio Alferes, Ri...
DLOG
2007
14 years 7 days ago
Description Logic vs. Order-Sorted Feature Logic
We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the...
Hassan Aït-Kaci
JAIR
2012
254views Hardware» more  JAIR 2012»
12 years 11 days ago
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at ...
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos...