4573 search results - page 583 / 915 » Automated Reasoning |
152
click to vote
DLOG
2010
15 years 2 months ago
2010
Abstract. Inconsistency and incoherency are two sorts of erroneous information in a DL ontology which have been widely discussed in ontology-based applications. For example, they h...
146
click to vote
DLOG
2010
15 years 2 months ago
2010
Abstract. A usage scenario of bio-ontologies is hypothesis testing, such as finding relationships or new subconcepts in the data linked to the ontology. Whilst validating the hypot...
162
click to vote
DLOG
2010
15 years 2 months ago
2010
Multiple distributed and modular ontology representation frameworks have recently appeared. They typically extend Description Logics (DL), with new constructs to represent relation...
140
click to vote
GIS
2010
ACM
15 years 2 months ago
2010
ACM
Security and privacy issues for Location-Based Services (LBS) and geolocation-capable applications often revolve around designing a User Interface (UI) such that users are informe...
132
click to vote
GIS
2010
ACM
15 years 2 months ago
2010
ACM
Instead of traditional ways of creating road maps, an attractive alternative is to create a map based on GPS traces of regular drivers. One important aspect of this approach is to...