Sciweavers

1792 search results - page 131 / 359
» Ontology Modeling Using UML
Sort
View
OWLED
2008
15 years 3 months ago
Understanding Entailments in OWL
This paper describes the explanation in OWL landscape. In recent years there has been huge progress, both in theory and implementation, in the area of explaining the causes of enta...
Matthew Horridge, Johannes Bauer, Bijan Parsia, Ul...
ECWEB
2004
Springer
148views ECommerce» more  ECWEB 2004»
15 years 8 months ago
OCL-Constraints for UMM Business Collaborations
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...
Birgit Hofreiter, Christian Huemer, Werner Winiwar...
DATE
2004
IEEE
129views Hardware» more  DATE 2004»
15 years 6 months ago
On the Design and Verification Methodology of the Look-Aside Interface
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
Ali Habibi, Asif Iqbal Ahmed, Otmane Aït Moha...
ECAI
2010
Springer
15 years 3 months ago
Parallel TBox Classification in Description Logics - First Experimental Results
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
Mina Aslani, Volker Haarslev
LREC
2010
145views Education» more  LREC 2010»
15 years 4 months ago
Generic Ontology Learners on Application Domains
In ontology learning from texts, we have ontology-rich domains where we have large structured domain knowledge repositories or we have large general corpora with large general str...
Francesca Fallucchi, Maria Teresa Pazienza, Fabio ...