Sciweavers

1435 search results - page 86 / 287
» E-connections of Description Logics
Sort
View
FOIKS
2010
Springer
15 years 7 months ago
Towards a Paradoxical Description Logic for the Semantic Web
As a vision for the future of the Web, the Semantic Web is an open, constantly changing and collaborative environment. Hence it is reasonable to expect that knowledge sources in th...
Xiaowang Zhang, Zuoquan Lin, Kewen Wang
LPAR
2004
Springer
15 years 6 months ago
Nonmonotonic Description Logic Programs: Implementation and Experiments
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...
Thomas Eiter, Giovambattista Ianni, Roman Schindla...
SAC
2008
ACM
15 years 21 days ago
Using simplified event calculus in digital investigation
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
Svein Yngvar Willassen
CADE
2009
Springer
15 years 5 months ago
System Description: H-PILoT
Carsten Ihlemann, Viorica Sofronie-Stokkermans