S. Decker, D. Fensel, F. Harmelen, I. Horrocks, S. Melnik, M. Klein and J. Broekstra: " Knowledge Representation on the Web". In Proceedings of the 2000 International Workshop on Description Logics (DL2000). Aachen, Germany, August 2000.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....with suitable nonmonotonic features for dealing with this case. 1 Introduction In the last years, Description Logics (DLs) have been successfully applied to semantic data modeling [12, 1, 19, 10] and have been proposed as knowledge representation mechanisms for semantic web applications [16, 3]. The idea behind applying DLs to the semantic web is related to the need of representing and reasoning on ontologies: if ontologies are expressed as DL knowledge bases, 10 then DL reasoning techniques can be used for several services in the design of and the interaction with the semantic web. ....

....models used in databases and software engineering, such as Entity Relationship diagrams, and UML class diagrams [7, 4] In addition, the ability to express complex relationships between concepts make them an ideal candidate to formalize ontologies. For example, the Ontology Inference Layer (OIL) [16, 3] is based on a restricted form of the expressive and decidable DLs studied in [14, 5, 15, 6] We argue, however, that even such expressive DLs are not sufficient for information integration in the semantic web. In a real world setting, different ontologies are build by different organizations for ....

S. Decker, D. Fensel, F. van Harmelen, I. Horrocks, S. Melnik, M. Klein, and J. Broekstra. Knowledge representation on the web. In Proc. of the 2000.

....is appropriate; future enhancements will include automatic selection of an appropriate reasoning service. Fig. 3. Hierarchy pre classification When verification is requested, the ontology is translated into an equivalent q7 Q (or q7 r) knowledge base and sent to the reasoner for classification [18]. OilEd then queries the classified knowledge base, checking for inconsistent classes and implicit subsumption relationships. The results are reported to the user by highlighting inconsistent classes and rearranging the class hierarchy display to reflect any changes discovered. FaCT OilEd does not ....

S. Decker et al. Knowledge representation on the web. In Proc. of DL 2000, pages 89-98, 2000.

....whichwere influenced by SHOE, but are based on the theories of formal concept analysis and information flow. However, the complexityof these theories makeitunlikely that this language will be accepted by the majorityofexistingweb developers and or users. The Ontology Interchange Language (OIL) [10]isanewweb ontology language that extends RDF and RDF Schema with description logic capabilities. Jannink et al. 19] suggest a different approach from creating web ontology languages and annotating pages# they propose that an ontology should be built for each data source, and generalization is ....

S. Decker, D. Fensel , F. van Harmelen , I. Horrocks, S. Melnik , M. Klein, and J. Broekstra, Knowledge Representation on the Web, in: Proceedings of the 2000.

....content. Keywords: Multimedia, Transformations, XSLT, XML, SMIL. Copyright is held by the author owner. WWW10, May 1 5, 2001, Hong Kong. ACM 1 58113 348 0 01 0005. 1. INTRODUCTION The evolution of the Web is sometimes described in terms of first, second and third generation Web content [10]. In the first generation, the Web browser provided its users a uniform interface to a wide variety of information on the Internet. URIs provide a simple but universal naming scheme, and HTTP a simple but fast transfer protocol. In theory, HTML was designed to provide the glue between various ....

S. Decker, D. Fensel, F. van Harmelen, I. Horrocks, S. Melnik, M. Klein, and J. Broekstra. Knowledge Representation on the Web. In F. Baader, editor, International Workshop on Description Logics (DL'00), 2000.

....with suitable nonmonotonic features for dealing with this case. 1 Introduction In the last years, Description Logics (DLs) have been successfully applied to semantic data modeling [12, 1, 19, 10] and have been proposed as knowledge representation mechanisms for semantic web applications [16, 3]. The idea behind applying DLs to the semantic web is related to the need of representing and reasoning on ontologies: if ontologies are expressed as DL knowledge bases, then DL reasoning techniques can be used for several services in the design of and the interaction with the semantic web. One ....

....models used in databases and software engineering, such as Entity Relationship diagrams, and UML class diagrams [7, 4] In addition, the ability to express complex relationships between concepts make them an ideal candidate to formalize ontologies. For example, the Ontology Inference Layer (OIL) [16, 3] is based on a restricted form of the expressive and decidable DLs studied in [14, 5, 15, 6] We argue, however, that even such expressive DLs are not sucient for information integration in the semantic web. In a real world setting, di erent ontologies are build by di erent organizations for ....

S. Decker, D. Fensel, F. van Harmelen, I. Horrocks, S. Melnik, M. Klein, and J. Broekstra. Knowledge representation on the web. In Proc. of the

....the main purpose of the global ontology is to provide a unified view through which we can query the various local ontologies. Most of the work carried out on ontologies for the semantic web is on which language or which method to use to build the global ontology on the basis of the local ones [13, 2]. For example, the Ontology Inference Layer (OIL) 13, 2] proposes to use a restricted form of the expressive and decidable DL studied in [4] to express ontologies for the semantic web. In this paper, we address what we believe is a crucial problem for the semantic web: how do we specify the ....

....a unified view through which we can query the various local ontologies. Most of the work carried out on ontologies for the semantic web is on which language or which method to use to build the global ontology on the basis of the local ones [13, 2] For example, the Ontology Inference Layer (OIL) [13, 2] proposes to use a restricted form of the expressive and decidable DL studied in [4] to express ontologies for the semantic web. In this paper, we address what we believe is a crucial problem for the semantic web: how do we specify the mapping between the global ontology and the local ontologies. ....

[Article contains additional citation context not shown here]

S. Decker, D. Fensel, F. van Harmelen, I. Horrocks, S. Melnik, M. Klein, and J. Broekstra. Knowledge representation on the web. In Proc. of the

.... in the concept hierarchy h2g modeling of non taxonomic relations definition of the lexicalizations of concepts and relations ONTOEDIT supports different formats including the internal ontology representation in XML (OXML) serial Frame Logic syntax [12] RDF Schema [1] and DAML OIL [4]. By providing several import export filters to other ontology representation languages the capabilities of the system can be reused in external applications. As already mentioned above, ONTOEDIT accesses the F Logic inference engine described in further detail in [2, 3] 3.6 Text To Onto ....

S. Decker, D. Fensel, F. van Harmelen, I. Horrocks, S. Melnik, M. Klein, and J. Broekstra. Knowledge representation on the web. In Proceedings of the

....(and with the same semantic understanding of the terms in the vocabulary) for exchanging information. Semantic differences should be allowed and be resolved when they arise during agent interaction. Research work on ontology attempts to provide semantics to information exchanged over the Internet [1,2,3].The most significant recent development in this direction is the joint effort between W3C s Semantic Web Activity and the DARPA Agent Markup Language Project and the resulting daml oil specifications [1,3] Although the technologies developed in this effort are primarily aimed at making Web pages ....

....another term ns2:X if ns2:X logically follows from the properties of ns2:High Power Laptop. We may also use some description logic system to reason if ns2:High Power Laptop can be subsumed by ns2:X, taking advantages of DL s efficient procedures for subsumption and classification operations [2]. However, this nave approach [4] often works only when an exact match can be found in the target ontology. It is often the case that two semantically similar terms (from two ontologies) agree on many properties but disagree on others, partly due to the fact that many of these properties are ....

Decker, S. et al, Knowledge representation on the Web. Proceedings of the 2000 International Workshop on Description Logics, Aachen, Germany, 8/2000., 453-469.

....the main purpose of the global ontology is to provide a unified view through which we can query the various local ontologies. Most of the work carried out on ontologies for the semantic web is on which language or which method to use to build the global ontology on the basis of the local ones [13, 2]. For example, the Ontology Inference Layer (OIL) 13, 2] proposes to use a restricted form of the expressive and decidable DL studied in [4] to express ontologies for the semantic web. In this paper, we address what we believe is a crucial problem for the semantic web: how do we specify the ....

....a unified view through which we can query the various local ontologies. Most of the work carried out on ontologies for the semantic web is on which language or which method to use to build the global ontology on the basis of the local ones [13, 2] For example, the Ontology Inference Layer (OIL) [13, 2] proposes to use a restricted form of the expressive and decidable DL studied in [4] to express ontologies for the semantic web. In this paper, we address what we believe is a crucial problem for the semantic web: how do we specify the mapping between the global ontology and the local ontologies. ....

[Article contains additional citation context not shown here]

S. Decker, D. Fensel, F. van Harmelen, I. Horrocks, S. Melnik, M. Klein, and J. Broekstra. Knowledge representation on the web. In Proc. of the 2000 Description Logic Workshop (DL 2000), pages 89--97. CEUR Electronic Workshop Proceedings, http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol33 /, 2000.

....of atom in the example ontology (Section 4) 3.2 Reasoning The editor can be requested to verify an ontology using the FaCT reasoner. When verification is requested, the ontology is translated into an equivalent SHIQ (or SHF) knowledge base and sent to the reasoner for classification [Decker et al. 2000] . OilEd then queries the classified knowledge base, checking for inconsistent classes and implicit subsumption Figure 3: Hierarchy pre classification Figure 4: Hierarchy post classification relationships. The results are reported to the user by highlighting inconsistent classes and rearranging ....

S. Decker et al. Knowledge representation on the web. In Proc. of DL 2000, pages 89--98, 2000.

....to develop a seed ontology . There, the initial baseline ontology is modified and or extended and axioms are added on top. Third, a formalization phase where the seed ontology is transferred into the target ontology which is expressed in formal representation languages like F Logic [14] OIL [7] or Conceptual Graphs [27] During the formalization phase the ontology engineer has to draw the line between ontology and knowledge base (cf. Section 2.2) The usage of potentially reusable ontologies (identified during the kickoff phase) may improve the speed and quality of the development ....

S. Decker, D. Fensel, F. van Harmelen, I. Horrocks, S. Melnik, M. Klein, and J. Broekstra. Knowledge representation on the web. In Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, 2000.

....decidable and (empirically) efficient inference procedures. LOOM [23] is a frequently used system with incomplete DL reasoning which has also been used commercially for Web applications. OIL (the ontology inference layer) d offers an integration of RDF RDFS with a basically DL based semantics [7]. It, thus, provides a semantically richer and more precise basis than RDF, embracing the current Web standards. The mapping of OIL, emerging into the efficient terminological reasoning system FaCT [17] is currently underway. One of the most recent developments in the Darpa DAML intiative, the ....

S. Decker, D. Fensel, F. van Harmelen, I. Horrocks, S. Melnik, M. Klein, and J. Broekstra. Knowledge representation on the web. In Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, 2000.

....1 certainly goes an important step into the direction of the Semantic Web , it only provides a very lightweight, and thus extremely restricted, semantic language. Therefore, a number of proposals for languages and language extensions on top of RDF and RDFS are currently under development (cf. [14, 2, 11], which describe some of them) Given the large variety of logics in use in many systems nowadays and given experiences from knowledge representation and reasoning 2 that have shown the necessity of this multitude of languages, the variety of these proposals gives only a first impression of the ....

....[27] or systems that include temporal reasoning (e.g. for corporate history analysis [4] 2 the epistemological level should look like given any set of representation languages. Hence, we substantiate the claims we make with a case study considering as target representation systems OIL FaCT [14], currently the most prominent semantic layer on top of RDF(S) and SiLRi [13] an F Logic based [24] representation system. Outline of the paper. In the following, we start with our model for semantic patterns, their underlying rationale as well as their formal and informal components (Section ....

[Article contains additional citation context not shown here]

S. Decker, D. Fensel, F. van Harmelen, I. Horrocks, S. Melnik, M. Klein, and J. Broekstra. Knowledge representation on the web. In Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, 2000.

No context found.

S. Decker, D. Fensel, F. van Harmelen, I. Horrocks, S. Melnik, M. Klein, and J. Broekstra. Knowledge representation on the web. In Proc. of the 2000.

No context found.

S. Decker, D. Fensel, F. van Harmelen, I. Horrocks, S. Melnik, M. Klein, and J. Broekstra. Knowledge representation on the web. In Proc. of the 2000.

No context found.

S. Decker, D. Fensel, F. van Harmelen, I. Horrocks, S. Melnik, M. Klein, and J. Broekstra. Knowledge representation on the web. In Proc. of the 2000.

No context found.

Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks, Sergey Melnik, Michel Klein, and Jeen Broekstra. Knowledge representation on the web. In Proc. of the 2000 Description Logic Workshop (DL 2000), pages 89--97. CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-33/, 2000.

No context found.

S. Decker, D. Fensel, F. Harmelen, I. Horrocks, S. Melnik, M. Klein and J. Broekstra: " Knowledge Representation on the Web". In Proceedings of the 2000 International Workshop on Description Logics (DL2000). Aachen, Germany, August 2000.

No context found.

S. Decker, D. Fensel, F. Harmelen, I. Horrocks, S. Melnik, M. Klein and J. Broekstra: " Knowledge Representation on the Web". In Proceedings of the 2000 International Workshop on Description Logics (DL2000). Aachen, Germany, August 2000.

No context found.

S. Decker, D. Fensel, et al. Knowledge representation on the web. In B. F. and S. U., editors, Proceedings of the 2000.

No context found.

Decker S, Fensel D, van Harmelen F, Horrocks I, Melnik S, Klein M, Broekstra J, Knowledge Representation on the Web. In DL2000.

No context found.

Decker, S. et al., Knowledge Representation on the Web, International Conference on Digital Libraries (DL'2000) Proceedings, 2000

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC