Sciweavers

499 search results - page 76 / 100
» Real-World Reasoning with OWL
Sort
View
SEMWEB
2009
Springer
15 years 6 months ago
Exploiting Partial Information in Taxonomy Construction
One of the core services provided by OWL reasoners is classification: the discovery of all subclass relationships between class names occurring in an ontology. Discovering these r...
Rob Shearer, Ian Horrocks
AAAI
2007
15 years 2 months ago
Partial Matchmaking using Approximate Subsumption
Description Logics, and in particular the web ontology language OWL has been proposed as an appropriate basis for computing matches between structured objects for the sake of info...
Heiner Stuckenschmidt
DLOG
2008
15 years 2 months ago
All Elephants are Bigger than All Mice
Abstract. We investigate the concept product as an expressive feature for description logics (DLs). While this construct allows us to express an arguably very common and natural ty...
Sebastian Rudolph, Markus Krötzsch, Pascal Hi...
78
Voted
DLOG
2010
14 years 9 months ago
Logic for Modeling Product Structure
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
Henson Graves
WWW
2007
ACM
16 years 14 days ago
Just the right amount: extracting modules from ontologies
The ability to extract meaningful fragments from an ontology is key for ontology re-use. We propose a definition of a module that guarantees to completely capture the meaning of a...
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazako...