Sciweavers

280 search results - page 6 / 56
» Optimising Ontology Classification
Sort
View
101
Voted
DLOG
2009
14 years 9 months ago
Consequence-Driven Reasoning for Horn SHIQ Ontologies
We present a novel reasoning procedure for Horn SHIQ ontologies--SHIQ ontologies that can be translated to the Horn fragment of first-order logic. In contrast to traditional reaso...
Yevgeny Kazakov
DEXAW
2006
IEEE
95views Database» more  DEXAW 2006»
15 years 5 months ago
Optimising Performance in Network-Based Information Systems: Virtual Organisations and Customised Views
Network-based information systems use well-defined standards to ensure interoperability and also have a tightly coupled relationship between their internal data representation an...
Nickolas J. G. Falkner, Paul D. Coddington, Andrew...
FLAIRS
2007
15 years 2 months ago
Autonomous Classification of Knowledge into an Ontology
Ontologies are an increasingly important tool in knowledge representation, as they allow large amounts of data to be related in a logical fashion. Current research is concentrated...
Matthew E. Taylor, Cynthia Matuszek, Bryan Klimt, ...
COLING
2008
15 years 1 months ago
Instance-Based Ontology Population Exploiting Named-Entity Substitution
We present an approach to ontology population based on a lexical substitution technique. It consists in estimating the plausibility of sentences where the named entity to be class...
Claudio Giuliano, Alfio Massimiliano Gliozzo
DLOG
2004
15 years 1 months ago
Efficient Reasoning with Range and Domain Constraints
We show how a tableaux algorithm for SHIQ can be extended to support role boxes that include range and domain axioms, prove that the extended algorithm is still a decision procedur...
Dmitry Tsarkov, Ian Horrocks