1663 search results - page 3 / 333 » Description Logics for Interoperability |
WCRE
2000
IEEE
14 years 2 months ago
2000
IEEE
Data interchange in the form of a standard exchange format(SEF) is only a first step towards tool interoperability. Inter-tool communication using files is slow and cumbersome; a ...
IJMSO
2006
13 years 9 months ago
2006
Recent expectations regarding the new generation of Web strongly depend on the success of Semantic Web technology. Resource Description Framework (RDF) is a basis for an explicit a...
RULEML
2004
Springer
14 years 3 months ago
2004
Springer
We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason with description logic constructors.
WWW
2003
ACM
14 years 10 months ago
2003
ACM
AAAI
2012
12 years 5 days ago
2012
We tackle the problem of defining a well-founded semantics (WFS) for Datalog rules with existentially quantified variables in their heads and negations in their bodies. In partic...