Även om OWL Web Ontology Language ger betydande uttryckskraft till Semantic Web det har uttrycksfulla begränsningar, särskilt när det gäller vad som kan sägas om egenskaper. Vi presenterar SWRL (Semantic Web Rules Language), en Horn klausul regler förlängning till OWL som övervinner många av dessa begränsningar. SWRL utvidgar OWL på ett syntaktiskt och semantiskt enhetligt sätt: den grundläggande syntaxen för SPRL-reglerna är en utvidgning av den abstrakta syntaxen för OWL DL och OWL Lite; SPRL-reglerna ges formell innebörd genom en utvidgning av OWL DL-modellens semantik; SPRL-reglerna ges en XML-syntax baserad på syntaxen för OWL XML-presentation; och en kartläggning från SRRL-reglerna till RDF-grafer ges baserat på OWL RDF/XML-utbytessyntaxen. Vi diskuterar den uttrycksfulla kraften hos SWRL, som visar att problemet med ontologikonsistens är obeslutbart, ger flera exempel på SWRL-användning, och diskuterar en prototypimplementering av resonemangsstöd för SWRL.
SWRL språk REF (Semantic Web Rule Language) är en utvidgning av Owl DL till att omfatta en Horn klausul regelspråk.
OWL Rules: A Proposal and Prototype Implementation
{'venue': 'Journal of Web Semantics', 'journal': None, 'mag_field_of_study': ['Computer Science']}