Företag/Corporate ontologies är allmänt antagna för att konceptualisera företagsinformation. På detta område är de semantiska egenheterna i Svarsset-programmering (ASP), som den slutna världskonsumtionen (CWA) och den unika namnuppfattningen (UNA), lämpligare än antagandena i Ontology Web Language (OWL), även eftersom sådana ontologier ofta härrör från relationsdatabaser, där både CWA och UNA antas. I denna artikel presenteras OntoDLV, ett system baserat på ASP för specifikation och resonemang om företags ontologier. OntoDLV implementerar ett kraftfullt ontologirepresentationsspråk, kallat OntoDLP, som utökar (diskonterande) ASP med alla de viktigaste ontologifunktionerna, inklusive klasser, arv, relationer och axioms. OntoDLP är starkt maskinskriven, och innehåller även komplexa typ konstruktörer, som listor och uppsättningar. Viktigt är att OntoDLV stöder en kraftfull interoperabilitetsmekanism med OWL, så att användaren kan hämta information från OWL ontologies, och bygga regelbaserade resonemang på toppen av OWL ontologies. Systemet används redan i ett antal verkliga tillämpningar, inklusive agentbaserade system, informationsutvinning och textklassificering. P 2 och P 2 (under modiga och försiktiga resonemang, respektive) [12]. Traditionella ASP är dock inte väl lämpad för ontologi specifikationer, eftersom det inte direkt stöder funktioner som klasser, taxonomier, individer, etc. Dessutom är ASP-systemen långt ifrån att underlätta utvecklingen av tillämpningar på branschnivå, främst för att de saknar viktiga verktyg för att stödja användare och programmerare. I synnerhet saknas bekväma användargränssnitt, och det finns en brist på avancerade programprogrammeringsgränssnitt (API) för att genomföra program på toppen av ASP-system. I denna artikel beskrivs OntoDLV, ett ASP-baserat system för företags ontologier, som behandlar alla ovannämnda frågor. I själva verket, OntoDLV implementerar en kraftfull logik-baserade ontologi representationsspråk, som heter OntoDLP, som är en förlängning av (diskontiv) ASP med alla de viktigaste ontologikonstruktioner inklusive klasser, arv, relationer och axioms. OntoDLP är starkt maskinskriven, och innehåller även komplexa typ konstruktörer, som listor och uppsättningar. Viktigt, OntoDLV stöder en kraftfull interoperabilitet OntoDLV: En ASP-baserad System för Enterprise Ontologies 645 mekanism med OWL, så att användaren kan hämta information från externa OWL Ontologies och att utnyttja denna data i OntoDLP ontologies och frågor. 1 Dessutom underlättar OntoDLV utvecklingen av komplexa applikationer i en användarvänlig visuell miljö; den är utrustad med en robust ihållande lager för att spara information på ett DBMS, och den integrerar sömlöst DLV-systemet [32] utnyttjar kraften hos en stabil och effektiv ASP-lösare. Med OntoDLV kan domänexperter skapa, modifiera, lagra, navigera och fråga ontologier tack vare en användarvänlig visuell miljö; samtidigt kan applikationsutvecklare enkelt implementera kunskapsintensiva applikationer som inbäddar OntoDLP-specifikationer med hjälp av ett komplett API. OntoDLP används redan för att utveckla tillämpningar i verkligheten, inklusive agentbaserade system, informationsutvinning och textklassificeringsramar (avsnitt 7). OntoDLV har sina rötter i det tidigare DLP+-systemet [39], men jämfört med sin föregångare innehåller OntoDLV många nya viktiga funktioner. Bland dessa kan nämnas komplexa typer (som uppsättningar och listor), stöd för omklassificering av objekt (kollektionsklasser), förstärkta relationer, mekanismer för driftskompatibilitet hos OWL, ett API och ett mer avancerat grafiskt användargränssnitt (GUI). Alla dessa tillsammans med många optimeringstekniker gör OntoDLV väl lämpad för utveckling av industriella tillämpningar (avsnitt 7). Viktigt är att språket OntoDLP har en direkt modell-teoretisk semantik, medan betydelsen av DLP+-program specificeras endast genom en omskrivningsteknik (se avsnitt 6 för en jämförelse med DLP+). Resten av artikeln är organiserad enligt följande: i Avsnitt 2, en informell översikt över OntoDLP språket genom exempel ges; Avsnitt 3 ger en formell definition av OntoDLP; Avsnitt 4 beskriver vår mekanism för OWL driftskompatibilitet; Avsnitt 5 översikter arkitekturen och genomförandet av OntoDLV systemet; relaterade arbete diskuteras i Avsnitt 6 och Avsnitt 7 avslutar artikeln och påpekar ett par relevanta tillämpningar av vårt system. Detta avsnitt beskriver OntoDLP, en ontologi representation och resonemang språk som ger de viktigaste ontologiska konstruktioner, nämligen klasser, attribut, relationer, arv och axioms, och kombinerar dem med resonemang förmåga ASP. I detta syfte är ett exempel (bank ontologin) esploited som kommer att specificeras i hela avsnittet, vilket illustrerar särdragen i språket. För en bättre förståelse kommer varje konstruktion att beskrivas i ett separat stycke. Härefter antas läsaren känna till ASP-syntax och semantik, för ytterligare detaljer hänvisas till [17, 32]. A (bas) klass 2 kan ses som en samling individer som hör ihop eftersom de delar vissa egenskaper. Klasserna kan definieras i OntoDLP genom att använda nyckelordsklassen följt av dess namn. Klassattribut kan anges med hjälp av par (attribut-namn: attribut-typ), där attribut-namn är namnet på egenskapen och attribut-typ är den klass attributet tillhör. Antag att syftet är att modellera ett bankföretags domän, och vissa kategorier av individer har identifierats, nämligen banker, filialer, konton, personer, företag och platser.
Ett annat tillvägagångssätt är REF som presenterade OntoDLV, ett system för resonemang om logikbaserat ontologirepresentationsspråk, kallat OntoDLP.
OntoDLV: An ASP-based System for Enterprise Ontologies
{'venue': 'J. Log. Comput.', 'journal': 'J. Log. Comput.', 'mag_field_of_study': ['Computer Science']}